Search results

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...

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...

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...

general logic programs 1993-01-16 Paper Stable and extension class theory for logic programs and default logics 1993-01-16 Paper Paraconsistent disjunctive...

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...

survey of annotated logics 2020-02-04 Paper Paraconsistency, Chellas's conditional logics, and association rules 2020-02-04 Paper Why paraconsistent logics...

Publication Type Programming with annotated logics 2020-02-04 Paper Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning...

deductive databases 2023-04-28 Paper Automatic theorem proving in paraconsistent logics: Theory and implementation 2023-04-28 Paper Hyper resolution and...

resolution in non-classical logics Tabulation proof procedures for fuzzy linguistic logic programming Annotated fuzzy logic programs Inconsistent knowledge...

(68Q55) Cited in (83) Bounded repairability of word languages A paraconsistent logic programming approach for querying inconsistent databases On repairing and...

multi-adjoint normal logic programming An encompassing framework for paraconsistent logic programs Fuzzy data exchange Termination of logic programs with imperfect...

nonclassical logic (03B60) Cites Work Title not available (Why is that?) Title not available (Why is that?) A logic for default reasoning Non-monotonic logic. I...

Logic in computer science (03B70) Cites Work Paraconsistent logic programming Title not available (Why is that?) On Representatives of Subsets Effective...

Fuzzy and Annotated Logic Programs A top-\(k\) query answering procedure for fuzzy logic programming Fuzzy logic programming An annotated logic theorem prover...

available?) Quantitative Logic Programming Revisited An encompassing framework for paraconsistent logic programs Multi-valued logic programming semantics An algebraic...

Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning Programming with annotated logics The Paraconsistent Logics PJ Title...

controlannotated logicEVALPSNbf-EVALPSNparaconsistent annotated logic programming Mathematics Subject Classification ID Paraconsistent logics (03B53) Logic programming...

deductive databases and logic programs Stable semantics for probabilistic deductive databases Logic Programming Probabilistic logic programming with conditional...

Semantics of general logic programs Truth versus information in logic programming A logical foundation for logic programming I: Biconsequence relations and nonmonotonic...

relationship between annotated logic programs and nonmonotonic formalisms Programming with annotated logics zbMATH Keywords axiomatizationinconsistencyannotated...