Search results
From MaRDI portal
- Publication Date of Publication Type First-order stable model semantics with intensional functions 2019-08-28 Paper System aspmt2smt: Computing ASPMT Theories...10 bytes (16 words) - 09:52, 25 September 2023
- partiality and disjunctions in stable model semantics 2017-07-12 Paper Extending and implementing the stable model semantics 2002-07-15 Paper https://portal...10 bytes (16 words) - 19:11, 24 September 2023
- tableau calculus for minimal model reasoning 2019-01-10 Paper Unfolding partiality and disjunctions in stable model semantics 2017-07-12 Paper Cumulativity...10 bytes (18 words) - 03:24, 9 December 2023
- 1993-05-18 Paper A simple fixed point characterization of three-valued stable model semantics 1992-06-28 Paper https://portal.mardi4nfdi.de/entity/Q3201744 1989-01-01...10 bytes (16 words) - 09:24, 13 December 2023
- 2020-05-04 Paper On equivalence of infinitary formulas under the stable model semantics 2017-11-09 Paper Abstract gringo 2017-11-09 Paper First-order modular...10 bytes (16 words) - 13:01, 7 October 2023
- 1993-01-23 Paper A simple fixed point characterization of three-valued stable model semantics 1992-06-28 Paper https://portal.mardi4nfdi.de/entity/Q3201751 1989-01-01...10 bytes (18 words) - 14:09, 8 December 2023
- 2011-11-23 Paper Stable models and circumscription 2011-06-17 Paper Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary...10 bytes (16 words) - 06:18, 7 October 2023
- Publication Type A simple fixed point characterization of three-valued stable model semantics 1992-06-28 Paper...10 bytes (16 words) - 10:21, 24 September 2023
- of Publication Type $$\#\exists $$ SAT: Projected Model Counting 2015-11-20 Paper Stable model semantics for founded bounds 2014-02-27 Paper...10 bytes (18 words) - 13:37, 28 January 2024
- Paper Extending and implementing the stable model semantics 2002-07-15 Paper Multiple abstraction levels in modelling product structures 2000-10-26 Paper...10 bytes (16 words) - 19:11, 24 September 2023
- in the First-Order Stable Model Semantics (Preliminary Report) 2011-05-26 Paper Safe Formulas in the General Theory of Stable Models (Preliminary Report)...10 bytes (16 words) - 14:00, 7 October 2023
- constraints = stable model semantics. 1997-05-12 Paper Bottom-up computation of perfect models for disjunctive theories 1997-04-16 Paper Model theoretic approach...10 bytes (18 words) - 13:38, 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...10 bytes (17 words) - 14:24, 10 December 2023
- of infinitary formulas under the stable model semantics 2017-11-09 Paper Abstract gringo 2017-11-09 Paper Stable models for infinitary formulas with extensional...10 bytes (17 words) - 17:17, 9 December 2023
- Constraint Programs with Functions 2009-11-10 Paper Characterizations of stable model semantics for logic programs with arbitrary constraint atoms 2009-10-19 Paper...10 bytes (18 words) - 14:15, 12 December 2023
- Foundations of RDF(S) with Datatypes 2010-09-09 Paper Complexity of the Stable Model Semantics for Queries on Incomplete Databases 2009-11-10 Paper https://portal...10 bytes (18 words) - 09:52, 6 October 2023
- Default Approach to Semantics of Logic Programs with Constraint Atoms 2009-11-10 Paper Characterizations of stable model semantics for logic programs with...10 bytes (17 words) - 16:22, 10 December 2023
- Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics 2016-11-30 Paper https://portal.mardi4nfdi.de/entity/Q2852090 2013-10-07...10 bytes (16 words) - 18:46, 6 October 2023
- to A-Prolog 2013-04-19 Paper Equivalence for the \(G_3^\prime\)-stable models semantics 2010-06-11 Paper MICAI 2004: Advances in Artificial Intelligence...10 bytes (22 words) - 23:54, 10 December 2023
- logic programs 2019-01-10 Paper The expressive power of unique total stable model semantics 2018-07-04 Paper GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES...10 bytes (17 words) - 04:11, 9 December 2023
