 | 2009 |
|---|
| 71 |       | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Reasoning About Typicality in ALC and EL.
Description Logics 2009 |
| 70 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.
LPNMR 2009: 430-436 |
| 69 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.
ACM Trans. Comput. Log. 10(3): (2009) |
| 68 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Camilla Schwind:
Tableau calculus for preference-based conditional logics: PCL and its extensions.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
|---|
| 67 | | Laura Giordano,
Alberto Martelli:
Verifying Agents' Conformance with Multiparty Protocols.
CLIMA IX 2008: 17-36 |
| 66 | | Laura Giordano,
Alberto Martelli:
Verifying the Conformance of Agents with Multiparty Protocols.
ECAI 2008: 855-856 |
| 65 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics.
JELIA 2008: 192-205 |
| 2007 |
|---|
| 64 | | Laura Giordano,
Alberto Martelli:
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.
AI*IA 2007: 145-156 |
| 63 | | Laura Giordano,
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.
AI*IA 2007: 84-96 |
| 62 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Preferential Description Logics.
LPAR 2007: 257-272 |
| 61 | | Paolo Terenziani,
Luca Anselma,
Alessio Bottrighi,
Laura Giordano,
Stefania Montani:
Automatic Checking of the Correctness of Clinical Guidelines in GLARE.
MedInfo 2007: 807-811 |
| 60 | | Laura Giordano,
Valentina Gliozzi,
Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
TABLEAUX 2007: 238-244 |
| 59 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Specifying and verifying interaction protocols in a temporal action logic.
J. Applied Logic 5(2): 214-234 (2007) |
| 2006 |
|---|
| 58 |  | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning.
ECAI 2006: 757-758 |
| 57 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R.
JELIA 2006: 190-202 |
| 56 | | Alberto Martelli,
Laura Giordano:
Reasoning About Web Services in a Temporal Action Logic.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 229-246 |
| 55 | | Laura Giordano,
Alberto Martelli:
Tableau-based automata construction for dynamic linear time temporal logic*.
Ann. Math. Artif. Intell. 46(3): 289-315 (2006) |
| 54 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
CoRR abs/cs/0611046: (2006) |
| 53 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Specialization of Interaction Protocols in a Temporal Action Logic.
Electr. Notes Theor. Comput. Sci. 157(4): 3-22 (2006) |
| 2005 |
|---|
| 52 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics.
LPAR 2005: 666-681 |
| 51 | | Laura Giordano,
Alberto Martelli,
Paolo Terenziani,
Alessio Bottrighi,
Stefania Montani:
A Temporal Approach to the Specification and Verification of Interaction Protocols.
WOA 2005: 171-176 |
| 50 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Weak AGM postulates and strong Ramsey Test: A logical formalization.
Artif. Intell. 168(1-2): 1-37 (2005) |
| 2004 |
|---|
| 49 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
JELIA 2004: 57-69 |
| 48 | | Laura Giordano,
Alberto Martelli:
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.
TIME 2004: 133-139 |
| 47 | | Matteo Baldoni,
Alberto Martelli,
Viviana Patti,
Laura Giordano:
Programming Rational Agents in a Modal Action Logic.
Ann. Math. Artif. Intell. 41(2-4): 207-257 (2004) |
| 46 | | Laura Giordano,
Camilla Schwind:
Conditional logic of actions and causation.
Artif. Intell. 157(1-2): 239-279 (2004) |
| 2003 |
|---|
| 45 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.
AI*IA 2003: 262-274 |
| 44 | | Matteo Baldoni,
Cristina Baroglio,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web.
PPSWR 2003: 84-98 |
| 43 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics.
TABLEAUX 2003: 81-101 |
| 2002 |
|---|
| 42 | | Laura Giordano,
Camilla Schwind:
Towards a Conditional Logic of Actions and Causation.
JELIA 2002: 382-393 |
| 41 | | Laura Giordano,
Camilla Schwind:
Towards a conditional logic of actions and causation.
NMR 2002: 333-342 |
| 40 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Iterated Belief Revision and Conditional Logic.
Studia Logica 70(1): 23-47 (2002) |
| 2001 |
|---|
| 39 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution.
AI*IA 2001: 165-175 |
| 38 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Reasoning about Actions in a Multiagent Domain.
AI*IA 2001: 237-248 |
| 37 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach.
ICTCS 2001: 405-425 |
| 36 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Reasoning about Actions in Dynamic Linear Time Temporal Logic.
Logic Journal of the IGPL 9(2): (2001) |
| 2000 |
|---|
| 35 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision.
ECAI 2000: 28-32 |
| 34 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Ramification and causality in a modal action logic.
J. Log. Comput. 10(5): 625-662 (2000) |
| 33 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti,
Maria Luisa Sapino:
Conditional reasoning in logic programming.
J. Log. Program. 44(1-3): 37-74 (2000) |
| 1998 |
|---|
| 32 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics.
ECAI 1998: 537-541 |
| 31 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
A Conditional Logic for Belief Revision.
JELIA 1998: 294-308 |
| 30 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Tableau for Multimodal Logics and Some (Un)Decidability Results.
TABLEAUX 1998: 44-59 |
| 29 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.
J. Log. Comput. 8(5): 597-635 (1998) |
| 28 | | Laura Giordano,
Nicola Olivetti:
Combining Negation as Failure and Embedded Implications in Logic Programs.
J. Log. Program. 36(2): 91-147 (1998) |
| 1997 |
|---|
| 27 | | Anthony J. Bonner,
Burkhard Freitag,
Laura Giordano,
Robert A. Kowalski:
Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.
ILPS 1997: 415-416 |
| 1996 |
|---|
| 26 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
Translating a Modal Language with Embedded Implication into Horn Clause Logic.
ELP 1996: 19-33 |
| 25 | | Laura Giordano,
Alberto Martelli,
Maria Luisa Sapino:
An Abductive Proof Procedure for Conditional Logic Programming.
FAPR 1996: 231-245 |
| 24 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Framework for a Modal Logic Programming.
JICSLP 1996: 52-66 |
| 23 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.
NMELP 1996: 132-150 |
| 22 | | Laura Giordano,
Alberto Martelli,
Maria Luisa Sapino:
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.
J. Log. Program. 26(1): 31-67 (1996) |
| 21 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency.
Logic Journal of the IGPL 4(3): 385-416 (1996) |
| 1995 |
|---|
| 20 | | Piero A. Bonatti,
Laura Giordano:
Three-Valued Semantics for Extended Logic Programs.
GULP-PRODE 1995: 295-306 |
| 19 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
LPNMR 1995: 203-216 |
| 18 | | Laura Giordano,
Alberto Martelli:
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking.
Computational Intelligence 11: 11-46 (1995) |
| 1994 |
|---|
| 17 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Modal Extension of Logic Programming.
GULP-PRODE (2) 1994: 324-335 |
| 16 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
Conditonal Logic Programming.
ICLP 1994: 272-289 |
| 15 | | Laura Giordano,
Alberto Martelli:
On Cumulative Default Logics.
Artif. Intell. 66(1): 161-179 (1994) |
| 14 | | Laura Giordano,
Alberto Martelli:
Structuring Logic Programs: A Modal Approach.
J. Log. Program. 21(2): 59-94 (1994) |
| 13 | | Laura Giordano,
Alberto Martelli:
Structured Prolog: A Language for Structured Logic Programming.
Software - Concepts and Tools 15(3): 125- (1994) |
| 1993 |
|---|
| 12 | | Laura Giordano,
Alberto Martelli,
Maria Luisa Sapino:
A Semantics for Eshghi and Kowalski's Procedure.
ICLP 1993: 586-600 |
| 11 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Multimodal Logic to Define Modules in Logic Programming.
ILPS 1993: 473-487 |
| 10 | | Laura Giordano:
Defining Variants of Default Logic: a Modal Approach.
ISMIS 1993: 59-68 |
| 1992 |
|---|
| 9 | | Laura Giordano,
Alberto Martelli:
A Modal Framework for Structured Logic Programs.
ELP 1992: 168-186 |
| 8 | | Laura Giordano,
Nicola Olivetti:
Negation as Failure in Intuitionistic Logic Programming.
JICSLP 1992: 431-445 |
| 7 | | Laura Giordano,
Alberto Martelli,
Gianfranco Rossi:
Extending Horn Clause Logic with Implication Goals.
Theor. Comput. Sci. 95(1): 43-74 (1992) |
| 1991 |
|---|
| 6 | | Laura Giordano,
Alberto Martelli,
Maria Luisa Sapino:
Negation as Failure and Constraints through Abduction and Defaults.
AI*IA 1991: 78-87 |
| 5 | | Laura Giordano,
Alberto Martelli:
A Modal Reconstruction of Blocks and Modules in Logic Programming.
ISLP 1991: 239-253 |
| 1990 |
|---|
| 4 | | Laura Giordano,
Alberto Martelli:
An Abductive Characterization of the TMS.
ECAI 1990: 308-313 |
| 3 | | Laura Giordano,
Alberto Martelli:
Generalized Stable Models, Truth Maintenance and Conflict Resolution.
ICLP 1990: 427-441 |
| 2 | | Laura Giordano,
Alberto Martelli:
Truth Maintenance Systems and Belief Revision.
Truth Maintenance Systems (ECAI Workshop) 1990: 71-86 |
| 1988 |
|---|
| 1 | | Laura Giordano,
Alberto Martelli,
Gianfranco Rossi:
Local Definitions with Static Scope Rules in Logic Programming.
FGCS 1988: 389-396 |
