JELIA 2010 - PDF Preprint Papers

JELIA 2010 European Workshop on Logics in Artificial Intelligence

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JELIA-2010 Paper

click to vote

JELIA
2010
Springer

102views Artificial Intelligence» more JELIA 2010»

Rational Closure for Defeasible Description Logics

1 years 3 months ago

Download gaia.isti.cnr.it

In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...

Giovanni Casini, Umberto Straccia

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	102	Rational Closure for Defeasible Description Logics	claim
2	84	The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems	claim
3	82	A Dynamic-Programming Based ASP-Solver	claim
4	75	A Normal Form for Linear Temporal Equilibrium Logic	claim
5	73	Retroactive Subsumption-Based Tabled Evaluation of Logic Programs	claim
6	73	Translating First-Order Causal Theories into Answer Set Programming	claim
7	72	dl2asp: Implementing Default Logic via Answer Set Programming	claim
8	72	Efficient Inferencing for OWL EL	claim
9	71	Coala: A Compiler from Action Languages to ASP	claim
10	69	The mcs-ie System for Explaining Inconsistency in Multi-Context Systems	claim
11	66	Decomposition of Distributed Nonmonotonic Multi-Context Systems	claim
12	66	Counter Systems for Data Logics	claim
13	61	Tabling with Answer Subsumption: Implementation, Applications and Performance	claim
14	59	Stable Belief Sets Revisited	claim
15	56	Sets of Boolean Connectives That Make Argumentation Easier	claim
16	53	Similarity-Based Inconsistency-Tolerant Logics	claim
17	47	Parametrized Logic Programming	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers