Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Janhunen, Tomi (Επιμελητής έκδοσης), Niemelä, Ilkka (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6341
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Information Systems Applications (incl. Internet).; Software Engineering.; Logics and Meanings of Programs.; Symbolic and Algebraic Manipulation.

Πίνακας περιεχομένων:

• Invited Talks
• Nonmonotonic Tools for Argumentation
• Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference
• Counter Systems for Data Logics
• Regular Papers
• Similarity-Based Inconsistency-Tolerant Logics
• Decomposition of Distributed Nonmonotonic Multi-Context Systems
• Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases
• A Decidable Constructive Description Logic
• A Normal Form for Linear Temporal Equilibrium Logic
• Rational Closure for Defeasible Description Logics
• Extensional Higher-Order Logic Programming
• dl2asp: Implementing Default Logic via Answer Set Programming
• Sets of Boolean Connectives That Make Argumentation Easier
• Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• A Logical Semantics for Description Logic Programs
• An Incremental Answer Set Programming Based System for Finite ModelComputation
• Parametrized Logic Programming
• Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
• : A Context Description Logic
• Stable Belief Sets Revisited
• Efficient Inferencing for OWL EL
• Translating First-Order Causal Theories into Answer Set Programming
• Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
• Minimal Knowledge and Belief via Minimal Topology
• A Logical Account of Lying
• Tabling with Answer Subsumption: Implementation, Applications and Performance
• Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
• An Approximative Inference Method for Solving ???SO Satisfiability Problems
• Horn Contraction via Epistemic Entrenchment
• System Descriptions
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• Coala: A Compiler from Action Languages to ASP
• DLV MC : Enhanced Model Checking in DLV
• A Dynamic-Programming Based ASP-Solver.