147
Voted
LICS
15 years 7 days ago
2010 IEEE 
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
153
Voted
LICS
15 years 23 days ago
2010 IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
134
click to vote
LICS
15 years 23 days ago
2010 IEEE 
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
118
click to vote
LICS
15 years 23 days ago
2010 IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
104
Voted
LICS
15 years 23 days ago
2010 IEEE 
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
|
Automated Reasoning