Searching for authors named "Alberto Martelli" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Theorem proving with structure sharing and efficient unification
- …THEOREM PROVING WITH STRUCTURE SHARING AND EFFICIENT UNIFICATION Alberto Martelli IEI - CNR Via S…
- Cited by 6 (1 self) – Add To MetaCart
-
Reasoning About Web Services in a Temporal Action Logic
- …Reasoning about Web Services in a Temporal Action Logic ⋆ Alberto Martelli 1 and Laura Giordano 2…
- Cited by 2 (1 self) – Add To MetaCart
-
Conformance and Interoperability in Open Enviroments
- … an invocation that respects its public Matteo Baldoni, Cristina Baroglio, Alberto Martelli, and Viviana Patti…
- Add To MetaCart
-
A Framework for Modal 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
- … 1 , Alberto Martelli 2 , and Camilla Schwind 3 1 Dipartimento di Informatica, Università del…
- Cited by 8 (6 self) – Add To MetaCart
-
A Modal Extension of Logic Programming
- …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
- … 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
- …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
- …, Alberto Martelli, and Viviana Patti Dipartimento di Informatica --- Universit`a degli Studi di Torino C…
- Cited by 10 (6 self) – Add To MetaCart
-
An Abductive Proof Procedure for Reasoning about Actions in Modal Logic P r o g r a m m i n g
- … s in M o d a l L o g i c P r o g r a m m i n g Matteo Baldoni, Laura Giordano, Alberto Martelli…
- Cited by 14 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
