The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Laura Giordano 0001" ( http://dblp.L3S.de/Authors/Laura_Giordano_0001 )

URL (Homepage):  http://www.mfn.unipmn.it/~laura/  Author page on DBLP  Author page in RDF  Community of Laura Giordano 0001 in ASPL-2

Publication years (Num. hits)
1988-1994 (18) 1995-1998 (15) 2000-2004 (17) 2005-2007 (16) 2008-2010 (19) 2011-2013 (24) 2014-2016 (18) 2017-2019 (17)
Publication types (Num. hits)
article(44) incollection(1) inproceedings(97) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 145 publication records. Showing 144 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Laura Giordano 0001, Valentina Gliozzi A reconstruction of the multipreference closure. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Adding the Power-Set to Description Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi Strengthening the Rational Closure for Description Logics: An Overview. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Extending ALC with the power-set construct. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Extending ALC with the Power-Set Construct. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi Reasoning about multiple aspects in DLs: Semantics and Closure Construction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Power (Set) ALC (Extended Abstract). Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. Search on Bibsonomy BPM (Forum) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Power (Set) ALC. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré ASP for Minimal Entailment in a Rational Extension of SROEL. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré ASP for minimal entailment in a rational extension of SROEL. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré ASP for Reasoning about Actions with an EL^bot Knowledge Base. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré Reasoning in a Rational Extension of SROEL. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Giordano 0001, Daniele Theseider Dupré Reasoning in a Rational Extension of SROEL. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Semantic characterization of rational closure: From propositional logic to description logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Anselma, Alessio Bottrighi, Laura Giordano 0001, Arjen Hommersom, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio A Hybrid Approach to the Verification of Computer Interpretable Guidelines. Search on Bibsonomy Foundations of Biomedical Knowledge Representation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. Search on Bibsonomy ISMIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti A Multi-engine Theorem Prover for a Description Logic of Typicality. Search on Bibsonomy AI*IA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Rational Closure in SHIQ. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato Logics in access control: a conditional approach. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato (eds.) Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Minimal models for rational closure in SHIQ. Search on Bibsonomy ICTCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Matteo Spiotta, Alessio Bottrighi, Laura Giordano 0001, Daniele Theseider Dupré Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. Search on Bibsonomy KR4HC@VSL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Rational Closure in SHIQ. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Paolo Terenziani, Alessio Bottrighi, Laura Giordano 0001, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré Advances in the GINSENG Project. Search on Bibsonomy ICHI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A non-monotonic Description Logic for reasoning about typicality. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato On Rational Closure in Description Logics of Typicality Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Reasoning about actions with Temporal Answer Sets. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré Business process verification with constraint temporal answer set programming. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Semantics for Rational Closure: Preliminary Results. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Temporal deontic action logic for the verification of compliance to norms in ASP. Search on Bibsonomy ICAIL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo Terenziani, Alessio Bottrighi, Laura Giordano 0001, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré Towards a Second Generation of Computer Interpretable Guidelines. Search on Bibsonomy DATA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Minimal Model Semantics and Rational Closure in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Laura Giordano 0001, Stefania Montani, Daniele Theseider Dupré (eds.) Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013. Search on Bibsonomy AIBP@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Modal Reconstruction of Rational Closure. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Minimal Model Semantics for Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Achieving Completeness in Bounded Model Checking of Action Theories in ASP. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré Business Processes Verification with Temporal Answer Set Programming. Search on Bibsonomy KiBP@KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind Non-classical logics for knowledge representation and reasoning. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Reasoning about Actions with Temporal Answer Sets Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Davide D'Aprile, Laura Giordano 0001, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré Verifying Compliance of Business Processes with Temporal Answer Sets. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato A Conditional Constructive Logic for Access Control and Its Sequent Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessio Bottrighi, Laura Giordano 0001, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio Adopting model checking techniques for clinical guidelines verification. Search on Bibsonomy Artificial Intelligence in Medicine The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Nonmonotonic Extension of KLM Preferential Logic P. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Francesca Toni Knowledge Representation and Non-monotonic Reasoning. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré Reasoning about Actions with Temporal Answer Sets. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato A Constructive Conditional Logic for Access Control. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato A constructive conditional logic for access control: a preliminary report. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide D'Aprile, Laura Giordano 0001, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré Verifying Business Process Compliance by Reasoning about Actions. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato ALC + T: a Preferential Extension of Description Logics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Analytic tableaux calculi, nonmonotonic reasoning
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind Tableau calculus for preference-based conditional logics: PCL and its extensions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tableaux calculi, conditional logics
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Reasoning About Typicality in ALC and EL. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind Non-Classical Logics for Knowledge Representation and Reasoning. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli Verifying the Conformance of Agents with Multiparty Protocols. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Reasoning about Typicality in Preferential Description Logics. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli Verifying Agents' Conformance with Multiparty Protocols. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Camilla Schwind Specifying and verifying interaction protocols in a temporal action logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Preferential Description Logics. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano 0001, Stefania Montani Automatic Checking of the Correctness of Clinical Guidelines in GLARE. Search on Bibsonomy MedInfo The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Camilla Schwind Specialization of Interaction Protocols in a Temporal Action Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli Tableau-based automata construction for dynamic linear time temporal logic*. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B44, 68N30
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Alberto Martelli, Laura Giordano 0001 Reasoning About Web Services in a Temporal Action Logic. Search on Bibsonomy Reasoning, Action and Interaction in AI Theories and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Automated Deduction for Logics of Default Reasoning. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Analytic Tableau Calculi for KLM Rational Logic R. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Paolo Terenziani, Alessio Bottrighi, Stefania Montani, Loredana Donzella Model Checking for Clinical Guidelines: an Agent-based Approach. Search on Bibsonomy AMIA The full citation details ... 2006 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti Weak AGM postulates and strong Ramsey Test: A logical formalization. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Analytic Tableaux for KLM Preferential and Cumulative Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani A Temporal Approach to the Specification and Verification of Interaction Protocols. Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano 0001 Programming Rational Agents in a Modal Action Logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logic-based agents, modal and multimodal logic, reasoning with incomplete knowledge, logic programming, reasoning about actions
1Laura Giordano 0001, Camilla Schwind Conditional logic of actions and causation. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Martelli, Camilla Schwind Verifying Communicating Agents by Model Checking in a Temporal Action Logic. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Laura Giordano 0001, Alberto Martelli, Viviana Patti Reasoning about Communicating Agents in the Semantic Web. Search on Bibsonomy PPSWR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind Tableau Calculi for Preference-Based Conditional Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 144 (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