Search results
From MaRDI portal
- general logic programs 1993-01-16 Paper Stable and extension class theory for logic programs and default logics 1993-01-16 Paper Paraconsistent disjunctive...10 bytes (15 words) - 16:12, 24 September 2023
- survey of annotated logics 2020-02-04 Paper Paraconsistency, Chellas's conditional logics, and association rules 2020-02-04 Paper Why paraconsistent logics...10 bytes (13 words) - 01:14, 25 September 2023
- 1986-01-01 Paper Partial models and logic programming 1986-01-01 Paper A kripke-kleene semantics for logic programs* 1985-01-01 Paper A deterministic prolog...10 bytes (16 words) - 08:58, 25 September 2023
- Publication Type Programming with annotated logics 2020-02-04 Paper Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning...10 bytes (13 words) - 06:06, 7 October 2023
- completeness of gp-resolution for annotated logics 1993-04-01 Paper Protected completions of first-order general logic programs 1990-01-01 Paper https://portal...10 bytes (15 words) - 22:43, 24 September 2023
- de/entity/Q4550809 2002-09-04 Paper CWA formalizations in multi-valued logics 2002-01-23 Paper Logic programming -- taking advantage of symmetry 2001-07-12 Paper Linear...10 bytes (13 words) - 22:13, 24 September 2023
- 2007-04-19 Paper Logic Programming 2006-06-27 Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Logic Programming 2005-08-26...10 bytes (13 words) - 11:39, 24 September 2023
- deductive databases 2023-04-28 Paper Automatic theorem proving in paraconsistent logics: Theory and implementation 2023-04-28 Paper Hyper resolution and...10 bytes (14 words) - 01:38, 7 October 2023
- Semantics of general logic programs Truth versus information in logic programming A logical foundation for logic programming I: Biconsequence relations and nonmonotonic...15 bytes (944 words) - 23:21, 29 January 2024
- extended logic programs Proof theory of Nelson's paraconsistent logic: a uniform perspective Why paraconsistent logics? A survey of annotated logics Paraconsistency...15 bytes (568 words) - 09:38, 31 January 2024
- answer set programming Fuzzy logic programming An encompassing framework for paraconsistent logic programs Beyond multi-adjoint logic programming Qualified...15 bytes (648 words) - 11:09, 5 February 2024
- S-semantics for logic programming: a retrospective look Game semantics for non-monotonic intensional logic programming From fuzzy to annotated semantic web...15 bytes (1,053 words) - 02:53, 1 February 2024
- Probabilistic logic programming with conditional constraints Logic Programming Logic Programming and Nonmonotonic Reasoning Logic Programming On the semantics...15 bytes (1,140 words) - 06:25, 31 January 2024
- resolution in non-classical logics Tabulation proof procedures for fuzzy linguistic logic programming Annotated fuzzy logic programs Inconsistent knowledge...15 bytes (502 words) - 09:27, 30 January 2024
- Quasi-classical reasoning in paraconsistent databases Publication:2767117 Publication:4207887 A paraconsistent logic programming approach for querying inconsistent...15 bytes (456 words) - 00:13, 30 January 2024
- logicsparaconsistent logic programming Mathematics Subject Classification ID Classical propositional logic (03B05) Paraconsistent logics (03B53) Cites Work The logic of...15 bytes (359 words) - 17:33, 8 February 2024
- consistent annotated logic programming Mathematics Subject Classification ID Paraconsistent logics (03B53) Logic programming (68N17) Logic in artificial...15 bytes (354 words) - 17:33, 8 February 2024
- On Theorem Proving in Annotated Logics 👍 👎 Annotated defeasible logic 👍 👎 On the relationship between annotated logic programs and nonmonotonic formalisms...15 bytes (253 words) - 06:07, 7 March 2024
- approaches to default logic Deontic logic as founded on nonmonotonic logic Qualitative choice logic Some considerations on the logics PFD A logic combining modality...15 bytes (943 words) - 03:52, 31 January 2024
- programming On free annotated algebras On Theorem Proving in Annotated Logics Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics...15 bytes (251 words) - 23:53, 29 January 2024
