MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Laura Giordano – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

Reasoning about Actions in Dynamic Linear Time Temporal Logic
by Laura Giordano — 2001
…Reasoning about Actions in Dynamic Linear Time Temporal Logic LAURA GIORDANO, Dipartimento di…
Cited by 16 (10 self) – Add To MetaCart

Conditional logic of actions and causation
by Laura Giordano, Camilla Schwind — 2004 — Artificial Intelligence
…Conditional Logic of Actions and Causation Laura Giordano Dipartimento di Informatica Università…
Cited by 5 (1 self) – Add To MetaCart

Reasoning About Web Services in a Temporal Action Logic
by Alberto Martelli, Laura Giordano — 2006 — In Reasoning, Action and Interaction in AI Theories and System, number 4155 in LNAI
…Reasoning about Web Services in a Temporal Action Logic ⋆ Alberto Martelli 1 and Laura Giordano 2…
Cited by 2 (1 self) – Add To MetaCart

A Framework for Modal Logic Programming
by Matteo Baldoni, Laura Giordano, Alberto Martelli — 1996 — In Joint International Conference and Symposium on Logic Programming
…A Framework for Modal Logic Programming Matteo Baldoni, Laura Giordano and Alberto Martelli…
Cited by 15 (3 self) – Add To MetaCart

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic
by Laura Giordano, Alberto Martelli, Camilla Schwind — 2003 — Proc. of the 8th Conf. of AI*IA, volume 2829 of LNAI
…Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic Laura Giordano…
Cited by 8 (6 self) – Add To MetaCart

A Modal Extension of Logic Programming
by Matteo Baldoni, Laura Giordano, Alberto Martelli — 1994 — Proc. of the 1994 Joint Conference on Declarative Programming (GULP-PROBE
…A Modal Extension of Logic Programming Matteo Baldoni, Laura Giordano and Alberto Martelli…
Cited by 1 (0 self) – Add To MetaCart

A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning
by Matteo Baldoni, Laura Giordano, Alberto Martelli — 1995
… Baldoni, Laura Giordano and Alberto Martelli Dipartimento di Informatica - Universit`a di Torino C…
Cited by 7 (0 self) – Add To MetaCart

Reasoning about Actions in a Multiagent Domain
by Laura Giordano, Alberto Martelli, Camilla Schwind — 2001 — In Proc. AI*IA’01, Bari
…Reasoning about Actions in a Multiagent Domain Laura Giordano 1 , Alberto Martelli 2 , and Camilla…
Cited by 1 (1 self) – Add To MetaCart

A Modal Programming Language for Representing Complex Actions
by Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti — 1998 — In Proc. DYNAMICS'98: Transactions and Change in Logic Databases
…A Modal Programming Language for Representing Complex Actions Matteo Baldoni, Laura Giordano…
Cited by 10 (6 self) – Add To MetaCart

A Conditional Logic for Iterated Belief Revision
by Laura Giordano, Valentina Gliozzi, Nicola Olivetti — 2000 — in ECAI2000, Proc. 14th European Conference on Artificial Intelligence
…A Conditional Logic for Iterated Belief Revision Laura Giordano DSTA - Universit a del Piemonte…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB