The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Piero A. Bonatti Piero Andrea Bonatti ( http://dblp.L3S.de/Authors/Piero_A._Bonatti )

URL (Homepage):  http://wpage.unina.it/pieroandrea.bonatti/  Author page on DBLP  Author page in RDF  Community of Piero A. Bonatti in ASPL-2

Publication years (Num. hits)
1990-1996 (16) 1997-2001 (22) 2002-2003 (16) 2004-2006 (18) 2007-2008 (17) 2009-2011 (21) 2012-2015 (18) 2016-2019 (13)
Publication types (Num. hits)
article(41) book(1) incollection(4) inproceedings(93) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 42 keywords

Results
Found 142 publication records. Showing 141 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Piero A. Bonatti Rational closure for all description logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Sabrina Kirrane Big Data and Analytics in the Age of the GDPR. Search on Bibsonomy BigData Congress The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro A Richer Policy Language for GDPR Compliance. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Piero A. Bonatti, Bert Bos, Stefan Decker, Javier D. Fernández, Sabrina Kirrane, Vassilios Peristeras, Axel Polleres, Rigo Wenning Data Privacy Vocabularies and Controls: Semantic Web for Transparency and Privacy. Search on Bibsonomy SW4SG@ISWC The full citation details ... 2018 DBLP  BibTeX  RDF
1Sabrina Kirrane, Javier D. Fernández, Wouter Dullaert, Uros Milosevic, Axel Polleres, Piero A. Bonatti, Rigo Wenning, Olha Drozd, Philip Raschke A Scalable Consent, Transparency and Compliance Architecture. Search on Bibsonomy ESWC (Satellite Events) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Fast Compliance Checking in an OWL2 Fragment. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Luigi Sauro On the Logical Properties of the Description Logic DL^N (Extended abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Piero Andrea Bonatti, Stefan Decker, Axel Polleres, Valentina Presutti Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Luigi Sauro On the logical properties of the nonmonotonic description logic DLN. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joachim Biskup, Piero A. Bonatti, Clemente Galdi, Luigi Sauro Inference-proof Data Filtering for a Probabilistic Setting. Search on Bibsonomy PrivOn@ISWC The full citation details ... 2017 DBLP  BibTeX  RDF
1Piero A. Bonatti, Sabrina Kirrane, Axel Polleres, Rigo Wenning Transparent Personal Data Processing: The Road Ahead. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro A New Semantics for Overriding in Description Logics (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro Generalized Agent-mediated Procurement Auctions. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro A new semantics for overriding in description logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Clemente Galdi, Davide Torres Event-driven RBAC. Search on Bibsonomy Journal of Computer Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Iliana Mineva Petrova, Luigi Sauro Optimizing the Computation of Overriding. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter Decidability of Circumscribed Description Logics Revisited. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro Optimized Construction of Secure Knowledge-Base Views. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro Optimizing the computation of overriding. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Piero A. Bonatti, Eugénio C. Oliveira, Jordi Sabater-Mir, Carles Sierra, Francesca Toni On the integration of trust with negotiation, argumentation and semantics. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro Partial Preferences for Mediated Bargaining. Search on Bibsonomy SR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Frank Wolter The Complexity of Circumscription in DLs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro Defeasible Inclusions in Low-Complexity DLs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Piero A. Bonatti, Luigi Sauro, Iliana M. Petrova A Mechanism for Ontology Confidentiality. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Joachim Biskup, Piero A. Bonatti, Clemente Galdi, Luigi Sauro Optimality and Complexity of Inference-Proof Data Filtering and CQE. Search on Bibsonomy ESORICS (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Anisetti, Claudio Agostino Ardagna, Piero A. Bonatti, Ernesto Damiani, Marco Faella, Clemente Galdi, Luigi Sauro E-Auctions for Multi-Cloud Service Provisioning. Search on Bibsonomy IEEE SCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Luigi Sauro A Confidentiality Model for Ontologies. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro Auctions for Partial Heterogeneous Preferences. Search on Bibsonomy MFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Clemente Galdi, Davide Torres ERBAC: event-driven RBAC. Search on Bibsonomy SACMAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi An Integrated Formal Approach to Usage Control. Search on Bibsonomy IEEE Symposium on Security and Privacy Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Defaults in Description Logics: So Simple, So Difficult. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Piero A. Bonatti Logic-Based Authorization Languages. Search on Bibsonomy Encyclopedia of Cryptography and Security (2nd Ed.) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti On the decidability of FDNC programs. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro Defeasible Inclusions in Low-Complexity DLs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Aidan Hogan, Axel Polleres, Luigi Sauro Robust and scalable Linked Data reasoning incorporating provenance and trust annotations. Search on Bibsonomy J. Web Semant. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro Adding Default Attributes to EL++. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro Towards a Mechanism for Incentivating Privacy. Search on Bibsonomy ESORICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro On the Complexity of EL with Defeasible Inclusions. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro A Rule-Based Trust Negotiation System. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Protune, rule-based policies, sensitive policies, policy exchange, privacy, explanations, trust negotiation
1Sabrina Baselice, Piero A. Bonatti A decidable subclass of finitary programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti A decidable subclass of finitary programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca Answer Set Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro EL\mathcal{EL} with Default Attributes and Overriding. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Datalog for Security, Privacy and Trust. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla Reactive Policies for the Semantic Web. Search on Bibsonomy ESWC (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Frank Wolter The Complexity of Circumscription in DLs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo On finitely recursive programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo On finitely recursive programs. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro Rule-Based Policy Representations and Reasoning. Search on Bibsonomy REWERSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti A Comparison of Terminological and Rule-based Policy Languages. Search on Bibsonomy SPOT@ESWC The full citation details ... 2009 DBLP  BibTeX  RDF
1Piero A. Bonatti, Marco Faella, Luigi Sauro Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, Wolfgang Nejdl, Piero A. Bonatti, Luigi Sauro Policy Based Protection and Personalized Generation of Web Content. Search on Bibsonomy LA-WEB/CLIHC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi The Complexity of Enriched Mu-Calculi Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi The Complexity of Enriched Mu-Calculi. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Juri Luca De Coi, Daniel Olmedilla, Piero A. Bonatti, Luigi Sauro Protune: A Framework for Semantic Web Policies. Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2008 DBLP  BibTeX  RDF
1Piero A. Bonatti On the decidability of FDNC programs. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti Composing Normal Programs with Function Symbols. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Enrico Pontelli, Tran Cao Son Credulous Resolution for Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Piero A. Bonatti, Fabio Mogavero Comparing Rule-Based Policies. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification
1Juri Luca De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (eds.) Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Joachim Biskup, Piero A. Bonatti Controlled query evaluation with open queries for a decidable relational submodel. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
1Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla Rule-based Policy Specification. Search on Bibsonomy Secure Data Management in Decentralized Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo On Finitely Recursive Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Nonmonotonic Description Logics - Requirements, Theory, and Implementations. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Marco Faella On Interoperable Trust Negotiation Strategies. Search on Bibsonomy POLICY The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Daniel Olmedilla Rule-Based Policy Representation and Reasoning for the Semantic Web. Search on Bibsonomy Reasoning Web The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi The Complexity of Enriched µ-Calculi. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri Semantic Web Policies - A Discussion of Requirements and Research Issues. Search on Bibsonomy ESWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Integrated heterogeneous policies, Cooperative policy enforcement, Lightweight trust, Explanation mechanisms, Trust management, Natural language interfaces
1Piero A. Bonatti, Daniel Olmedilla, Joachim Peer Advanced Policy Explanations on the Web. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Piero A. Bonatti, Carsten Lutz, Frank Wolter Description Logics with Circumscription. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Joachim Biskup, Piero A. Bonatti Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
1Marianne Winslett, Charles C. Zhang, Piero A. Bonatti PeerAccess: a logic for distributed authorization. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logical signature, proof hints, release policies, P2P systems, distributed authorization, sticky policies
1Jennifer Golbeck, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett (eds.) Proceedings of the ISWC*04 Workshop on Trust, Security, and Reputation on the Semantic Web, Hiroshima, Japan, November 7, 2004 Search on Bibsonomy ISWC Workshop on Trust, Security, and Reputation on the Semantic Web The full citation details ... 2005 DBLP  BibTeX  RDF
1Piero A. Bonatti, Paola Festa On optimal service selection. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF nonfunctional properties, service selection problem, service matchmaking, automatic service composition
1Sabrina Baselice, Piero A. Bonatti, Michael Gelfond Towards an Integration of Answer Set and Constraint Solving. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Rule Languages for Security and Privacy in Cooperative Systems. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Daniel Olmedilla Driving and Monitoring Provisional Trust Negotiation with Metapolicies. Search on Bibsonomy POLICY The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Michael Gelfond A Preliminary Report on Integrating of Answer Set and Constraint Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Joachim Biskup, Piero A. Bonatti Controlled query evaluation for enforcing confidentiality in complete information systems. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Complete information system, Confidentiality, Inference control, Lying, Refusal
1Joachim Biskup, Piero A. Bonatti Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Reasoning with infinite stable models. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Adriano Peron On the undecidability of logics with converse, nominals, recursion and counting. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Abduction over Unbounded Domains via ASP. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian Secure Agents. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Pierangela Samarati Logics for Authorization and Security. Search on Bibsonomy Logics for Emerging Applications of Databases The full citation details ... 2003 DBLP  BibTeX  RDF
1Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati Towards Flexible Credential Negotiation Protocols. Search on Bibsonomy Security Protocols Workshop The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Andrea Tettamanzi Some Complexity Results on Fuzzy Description Logics. Search on Bibsonomy WILF The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Yu Deng 0004, V. S. Subrahmanian An Ontology-Extended Relational Algebra. Search on Bibsonomy IRI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti Finitary Open Logic Program. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Piero A. Bonatti On the Undecidability of Description and Dynamic Logics with Recursion and Counting. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati An algebra for composing access control policies. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Access control, logic programs, algebra, policy composition
1Piero A. Bonatti, Nicola Olivetti Sequent calculi for propositional nonmonotonic logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Default Logic, Circumscription, Sequent calculi, Autoepistemic Logic, Rejection methods
1Piero A. Bonatti Abduction, ASP and Open Logic Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Piero A. Bonatti, Pierangela Samarati A Uniform Framework for Regulating Service Access and Information Release on the Web. Search on Bibsonomy Journal of Computer Security The full citation details ... 2002 DBLP  BibTeX  RDF
1Piero A. Bonatti Abduction, ASP and open logic programs. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Piero A. Bonatti Reasoning with Infinite Stable Models II: Disjunctive Programs. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 141 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license