Pages that link to "Item:Q4305624"
From MaRDI portal
The following pages link to Logic programming and negation: A survey (Q4305624):
Displaying 50 items.
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- What truth depends on (Q815014) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Well-founded semantics for Boolean grammars (Q840701) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- A fixed point theorem for non-monotonic functions (Q2257304) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- (Q2844060) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- Transformations of logic programs on infinite lists (Q3585155) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Foundations of the rule-based system ρLog (Q3647259) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
- Generalization strategies for the verification of infinite state systems (Q5299583) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
- On Signings and the Well-Founded Semantics (Q6063875) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
