1 option
Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 6341.
- Lecture Notes in Artificial Intelligence ; 6341
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Application software.
- Software engineering.
- Computer logic.
- Computer science--Mathematics.
- Computer science.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Information Systems Applications (incl. Internet).
- Software Engineering.
- Logics and Meanings of Programs.
- Symbolic and Algebraic Manipulation.
- Local Subjects:
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Information Systems Applications (incl. Internet).
- Software Engineering.
- Logics and Meanings of Programs.
- Symbolic and Algebraic Manipulation.
- Physical Description:
- 1 online resource (XIV, 374 pages) : 48 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-15675-5
- 9783642156755
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.