Search
Now showing items 1-1 of 1
Quantified equilibrium logic and hybrid rules
(Springer, 2007)
In the ongoing discussion about combining rules and Ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches to de- ...