138
click to vote
LICS
14 years 11 months 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...
146
click to vote
LICS
14 years 12 months 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...
122
click to vote
LICS
14 years 12 months 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...
108
click to vote
LICS
14 years 12 months 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...
LICS
14 years 12 months 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