Pages that link to "Item:Q4305625"

The following pages link to Logic programming and knowledge representation (Q4305625):

Displaying 46 items.

• Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
• A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
• Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
• Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
• A causal approach to nonmonotonic reasoning (Q814640) (← links)
• Answer set based design of knowledge systems (Q854966) (← links)
• Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
• Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
• An axiomatic analysis of structured argumentation with priorities (Q899441) (← links)
• Computing ideal sceptical argumentation (Q1028947) (← links)
• Formalizing narratives using nested circumscription (Q1274680) (← links)
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
• Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
• Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
• A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
• Abductive reasoning through filtering (Q1575426) (← links)
• Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
• Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
• On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
• Clausal logic and logic programming in algebraic domains (Q1854478) (← links)
• A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
• Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
• Making sense of sensory input (Q2238610) (← links)
• Paracoherent answer set computation (Q2238696) (← links)
• Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface (Q2299238) (← links)
• Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
• Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
• On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
• An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
• A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
• Answer sets and qualitative decision making (Q2576434) (← links)
• On elementary loops of logic programs (Q2884258) (← links)
• A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
• Probabilistic reasoning with answer sets (Q3612603) (← links)
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
• An application of answer set programming to the field of second language acquisition (Q4601065) (← links)
• Complexity results for abductive logic programming (Q5101437) (← links)
• Abduction over 3-valued extended logic programs (Q5101439) (← links)
• Indefinite abductive explanations (Q5231278) (← links)
• Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← links)
• A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
• Interpreting knowledge-based programs (Q6535240) (← links)
• Aspmc: new frontiers of algebraic answer set counting (Q6566624) (← links)
• Update-programms can update programs (Q6623796) (← links)