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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Janhunen, Tomi (Editor ), Niemelä, Ilkka (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Artificial Intelligence, 6341
Temas:
Artificial intelligence.
Machine theory.
Application software.
Software engineering.
Computer science.
Computer science-Mathematics.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer and Information Systems Applications.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Symbolic and Algebraic Manipulation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares