The following pages link to Logics in Artificial Intelligence (Q2835857):
Displayed 50 items.
- Metabolic Pathways as Temporal Logic Programs (Q2835858) (← links)
- On Decidability of a Logic of Gossips (Q2835859) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← links)
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis (Q2835863) (← links)
- Temporal Here and There (Q2835864) (← links)
- On Logics of Group Belief in Structured Coalitions (Q2835865) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks (Q2835867) (← links)
- Decidability and Expressivity of Ockhamist Propositional Dynamic Logics (Q2835868) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
- Opposition Frameworks (Q2835871) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects (Q2835873) (← links)
- Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks (Q2835878) (← links)
- Revising Possibilistic Knowledge Bases via Compatibility Degrees (Q2835879) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Information Flow Under Budget Constraints (Q2835882) (← links)
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics (Q2835884) (← links)
- Pakota: A System for Enforcement in Abstract Argumentation (Q2835885) (← links)
- Kinetic Consistency and Relevance in Belief Revision (Q2835886) (← links)
- DRAT Proofs for XOR Reasoning (Q2835888) (← links)
- Understanding the Abstract Dialectical Framework (Q2835889) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- Reactive Policies with Planning for Action Languages (Q2835891) (← links)
- Correct Grounded Reasoning with Presumptive Arguments (Q2835892) (← links)
- Characterizability in Horn Belief Revision (Q2835894) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks (Q2835897) (← links)
- Inconsistency Management in Reactive Multi-context Systems (Q2835898) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- Refinement of Intentions (Q2835902) (← links)
- GenB: A General Solver for AGM Revision (Q2835903) (← links)
- A Two-Phase Dialogue Game for Skeptical Preferred Semantics (Q2835904) (← links)
- Measuring Inconsistency in Answer Set Programs (Q2835905) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Conflict-Tolerant Semantics for Argumentation Frameworks (Q2915055) (← links)
- Knowledge Means ‘All’, Belief Means ‘Most’ (Q2915057) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Deciding the Bisimilarity Relation between Datalog Goals (Q2915060) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)