Entity usage

Showing below up to 50 results in range #1 to #50.

1. A simple signed system for paraconsistent reasoning: Label: en
2. Revising and updating using a back-up semantics: Label: en
3. Extensions for open default theories via the domain closure assumption: Label: en
4. Informational logic for automated reasoning: Label: en
5. Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions: Label: en
6. Similarity saturation for first order linear temporal logic with UNLESS: Label: en
7. Temporal reasoning over linear discrete time: Label: en
8. Modules and specifications: Label: en
9. Characterizing D-WFS: Confluence and iterated GCWA: Label: en
10. An abductive framework for negation in disjunctive logic programming: Label: en
11. A system for computing constrained default logic extensions: Label: en
12. Infinitary default logic for specification of nonmonotonic reasoning: Label: en
13. A query answering algorithm for Lukaszewicz' general open default theory: Label: en
14. Semi-representability of default theories in rational default logic: Label: en
15. Ordering-based representations of rational inference: Label: en
16. Only persistence makes nonmonotonicity monotonous: Label: en
17. Strong and explicit negation in non-monotonic reasoning and logic programming: Label: en
18. McCarthy's idea: Label: en
19. A modal action logic based framework for organization specification and analysis: Label: en
20. Design and implementation of diagnostic strategies using modal logic: Label: en
21. A uniform tableaux method for nonmonotonic modal logics: Label: en
22. Labelled proofs for quantified modal logic: Label: en
23. What you always wanted to know about rigid E-unification: Label: en
24. Building proofs or counterexamples by analogy in a resolution framework: Label: en
25. An algorithm for the retrieval of unifiers from discrimination trees: Label: en
26. Hyper tableaux: Label: en
27. A Dynamic-Programming Based ASP-Solver: Label: en
28. Coala: A Compiler from Action Languages to ASP: Label: en
29. The mcs-ie System for Explaining Inconsistency in Multi-Context Systems: Label: en
30. The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems: Label: en
31. Horn Contraction via Epistemic Entrenchment: Label: en
32. An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems: Label: en
33. Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic: Label: en
34. Tabling with Answer Subsumption: Implementation, Applications and Performance: Label: en
35. A Logical Account of Lying: Label: en
36. Minimal Knowledge and Belief via Minimal Topology: Label: en
37. Preprocessing Boolean Formulae for BDDs in a Probabilistic Context: Label: en
38. Translating First-Order Causal Theories into Answer Set Programming: Label: en
39. Efficient Inferencing for OWL EL: Label: en
40. Stable Belief Sets Revisited: Label: en
41. ${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic: Label: en
42. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription: Label: en
43. Parametrized Logic Programming: Label: en
44. An Incremental Answer Set Programming Based System for Finite ModelComputation: Label: en
45. A Logical Semantics for Description Logic Programs: Label: en
46. Preference-Based Inconsistency Assessment in Multi-Context Systems: Label: en
47. Retroactive Subsumption-Based Tabled Evaluation of Logic Programs: Label: en
48. Sets of Boolean Connectives That Make Argumentation Easier: Label: en
49. dl2asp: Implementing Default Logic via Answer Set Programming: Label: en
50. Rational Closure for Defeasible Description Logics: Label: en