Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings > Whatever You Say
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings |
Michael Fisher; Wiebe Hoek; Boris Konev; Alexei Lisitsa
Springer Berlin Heidelberg
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Whatever You Say
Authors

Luke Hunsberger

ARI Id

1674219984962_4681856

Access

Not Available Free

Pages

229-241

DOI

10.1007/11853886_20

Chapter URL

https://rd.springer.com/chapter/10.1007/11853886_20

Table of Contents of Book
Showing 1 to 20 of 51 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
From Inductive Logic Programming to Relational Data Mining
Sašo Džeroski
1-14
Answer Set Programming: A Declarative Approach to Solving Search Problems
Ilkka Niemelä
15-18
Inconsistencies in Ontologies
Andrei Voronkov
19-19
On Arbitrary Selection Strategies for Basic Superposition
Vladimir Aleksic; Anatoli Degtyarev
20-28
An Event-Condition-Action Logic Programming Language
J. J. Alferes; F. Banti; A. Brogi
29-42
Distance-Based Repairs of Databases
Ofer Arieli; Marc Denecker; Maurice Bruynooghe
43-55
Natural Deduction Calculus for Linear-Time Temporal Logic
Alexander Bolotov; Artie Basukoski; Oleg Grigoriev; Vasilyi Shangin
56-68
A STIT-Extension of ATL
Jan Broersen; Andreas Herzig; Nicolas Troquard
69-81
On the Logic and Computation of Partial Equilibrium Models
Pedro Cabalar; Sergei Odintsov; David Pearce; Agustín Valverde
82-94
Decidable Fragments of Logic Programming with Value Invention
Francesco Calimeri; Susanna Cozza; Giovambattista Ianni
95-110
On the Issue of Reinstatement in Argumentation
Martin Caminada
111-123
Comparing Action Descriptions Based on Semantic Preferences
Thomas Eiter; Esra Erdem; Michael Fink; Ján Senko
124-137
Modal Logics of Negotiation and Preference
Ulle Endriss; Eric Pacuit
138-150
Representing Action Domains with Numeric-Valued Fluents
Esra Erdem; Alfredo Gabaldon
151-163
Model Representation over Finite and Infinite Signatures
Christian G. Fermüller; Reinhard Pichler
164-176
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
Silvio Ghilardi; Enrica Nicolini; Silvio Ranise; Daniele Zucchelli
177-189
Analytic Tableau Calculi for KLM Rational Logic R
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
190-202
On the Semantics of Logic Programs with Preferences
Sergio Greco; Irina Trubitsyna; Ester Zumpano
203-215
A Modularity Approach for a Fragment of $\mathcal{ALC}$
Andreas Herzig; Ivan Varzinczak
216-228
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 51 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings