Search results
From MaRDI portal
- of semantics for normal logic programs 1995-04-06 Paper Autoepistemic logic of first order and its expressive power 1995-02-22 Paper A three-valued semantics...10 bytes (18 words) - 14:15, 12 December 2023
- 1997-02-27 Paper A Three-valued Formalization of Provability 1995-09-11 Paper Autoepistemic logics as a unifying framework for the semantics of logic programs...10 bytes (18 words) - 17:52, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4298363 1994-07-26 Paper Three-valued nonmonotonic formalisms and semantics of logic programs 1992-06-28 Paper https://portal...10 bytes (18 words) - 14:53, 8 December 2023
- Boolean algebras of conditionals 2022-06-15 Paper A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples 2022-03-02...10 bytes (17 words) - 15:59, 7 December 2023
- 1997-02-27 Paper On the equivalence of semantics for normal logic programs 1995-04-06 Paper A three-valued semantics for deductive databases and logic programs...10 bytes (18 words) - 07:26, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q4215638 1998-10-26 Paper Multi-valued autoepistemic logic 1998-03-04 Paper https://portal.mardi4nfdi.de/entity/Q4362933...10 bytes (19 words) - 03:10, 7 October 2023
- controlled natural language 2020-02-18 Paper A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur 2019-10-10 Paper https://portal...10 bytes (16 words) - 12:39, 24 September 2023
- 2018-06-26 Paper On equivalence of infinitary formulas under the stable model semantics 2017-11-09 Paper Dual-normal logic programs – the forgotten class 2017-11-09...10 bytes (17 words) - 14:24, 10 December 2023
- Representation, Reasoning and Change 2020-08-10 Paper Possible Worlds Semantics Based on Observation and Communication 2020-07-24 Paper Resource separation...10 bytes (17 words) - 21:50, 10 December 2023
- intuitionistic fuzzy sets and on interval-valued fuzzy sets 1997-10-20 Paper Finite difference schemes for three-dimensional time-dependent convection-diffusion...10 bytes (16 words) - 08:10, 7 October 2023
- stable model semantics; autoepistemic predicate logic; completion semantics; semantics of logic programs; three-valued autoepistemic semantics; well- founded...15 bytes (132 words) - 10:26, 30 January 2024
- theories, Three-valued nonmonotonic formalisms and semantics of logic programs, Autoepistemic circumscription and logic programming, Autoepistemic logic of...15 bytes (97 words) - 23:03, 4 February 2024
- well-founded semantics of logic programs, Dualities between alternative semantics for logic programming and nonmonotonic reasoning, A three-valued semantics for...15 bytes (142 words) - 00:30, 30 January 2024
- default and autoepistemic logic Three-valued nonmonotonic formalisms and semantics of logic programs All I know: A study in autoepistemic logic Systematization...15 bytes (128 words) - 16:21, 31 January 2024
- programming Related Items Three-valued nonmonotonic formalisms and semantics of logic programs, Possible world semantics and autoepistemic reasoning, Well-founded...15 bytes (73 words) - 11:03, 7 February 2024
- Keywords nonmonotonic logic; autoepistemic logic; closed world assumption; default theory; circumscription; three-valued extensions of nonmonotonic formalisms;...15 bytes (250 words) - 01:08, 30 January 2024
- Modal logic based theory for non-monotonic reasoning, Three-valued nonmonotonic formalisms and semantics of logic programs, Cumulative default logic: In defense...15 bytes (156 words) - 23:03, 4 February 2024
- Impediments to universal preference-based default theories, Three-valued nonmonotonic formalisms and semantics of logic programs, Cumulative default logic: In defense...15 bytes (313 words) - 02:59, 31 January 2024
- with negation, Three-valued nonmonotonic formalisms and semantics of logic programs, A simple fixed point characterization of three-valued stable model semantics...15 bytes (428 words) - 10:42, 5 February 2024
- stratified programs, Three-valued nonmonotonic formalisms and semantics of logic programs, A simple fixed point characterization of three-valued stable model semantics...15 bytes (473 words) - 15:34, 4 February 2024
