Search results for: Piero A. Bonatti
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Invited Talks > 1-1
Lecture Notes in Computer Science > Cooperative Information Agents II Learning, Mobility and Electronic Commerce for Information Discovery on the Internet > 290-305
Lecture Notes in Computer Science > Computer Security – ESORICS 2011 > Usability, Ttrust, and Economics of Security and Privacy > 472-488
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 127-142
Lecture Notes in Computer Science > Datalog Reloaded > Section 1: Theoretical Aspects of Datalog > 21-36
Lecture Notes in Computer Science > The Semantic Web: Research and Applications > Ontologies and Reasoning Track > 76-90
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > System Description > 416-419
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Description Logic and Semantic Web > 74-85
Lecture Notes in Computer Science