Pages that link to "Item:Q1978008"
From MaRDI portal
The following pages link to Logic programs with stable model semantics as a constraint programming paradigm (Q1978008):
Displayed 50 items.
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- Syntactic ASP forgetting with forks (Q2694542) (← links)
- Arguing correctness of ASP programs with aggregates (Q2694567) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- Temporal Here and There (Q2835864) (← links)
- Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Transition systems for model generators—A unifying approach (Q3087449) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Performance Tuning in Answer Set Programming (Q3449203) (← links)
- Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability (Q3534675) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- A translational approach to constraint answer set solving (Q3585161) (← links)
- Loop formulas for description logic programs (Q3585166) (← links)
- Logic programming for finding models in the logics of knowledge and its applications: A case study (Q3585176) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- On finitely recursive programs (Q3621269) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- Achievements in answer set programming (Q4592719) (← links)