MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Fiora Pirri" – sorted by Relevance.

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

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

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

ATOM

Contexts as Relativized Definitions: A Formalization Via Fixed Points
by Gianni Amati, Fiora Pirri — 1997 — Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London,1998
…Contexts as relativized definitions: a formalization via fixed points Gianni Amati Fiora Pirri…
Cited by 1 (1 self) – Add To MetaCart

Flexible Interval Planning in Concurrent Temporal Golog
by Alberto Finzi, Fiora Pirri
… constrained so as to keep possible domino effects under control Alberto Finzi and Fiora Pirri 1…
Cited by 1 (1 self) – Add To MetaCart

Combining Probabilities, Failures and Safety in Robot Control
by Alberto Finzi, Fiora Pirri — 2001 — In Proceedings IJCAI-2001
…Combining Probabilities, Failures and Safety in Robot Control Alberto Finzi, Fiora Pirri DIS…
Cited by 14 (7 self) – Add To MetaCart

Risks evaluation and Failures Diagnosis for Autonomous tasks execution in Space
by Alberto Finzi, Fiora Pirri, Marco Pirrone, Massimo Romano — 2001
…, Fiora Pirri, Marco Pirrone, Massimo Romano Dipartimento di Informatica e Sistemistica Universit™a di…
Cited by 1 (0 self) – Add To MetaCart

Open World Planning in the Situation Calculus
by Alberto Finzi, Fiora Pirri, Ray, Ray Reiter — 1999 — In Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00
…Open World Planning in the Situation Calculus Alberto Finzi and Fiora Pirri Dipartimento di…
Cited by 23 (2 self) – Add To MetaCart

Recommended citation:
by Hector Levesque, Fiora Pirri, Ray Reiter
… for the Situation Calculus Hector Levesque, Fiora Pirri, and Ray Reiter Linkoping University Electronic Press…
Add To MetaCart

Abduction is not Deduction-in-Reverse
by Marta Cialdea Mayer, Fiora Pirri — 1996
… Universit`a di Roma, via della Vasca Navale 84, 00146 Roma, Italy. E-mail: cialdea@(email omitted); FIORA…
Cited by 10 (0 self) – Add To MetaCart

A Study on the Logic of Abduction
by Marta Cialdea Mayer, Fiora Pirri — 1996 — in W. Wahlster (ed), Proceedings of the 12th European Conference on Artificial Intelligence (ECA196
…A study on the logic of abduction Marta Cialdea Mayer 1 and Fiora Pirri 2 Abstract…
Cited by 1 (0 self) – Add To MetaCart

A Study on the Relation Between Explanans Explanandum: A Modal Approach
by Marta Cialdea Mayer, Fiora Pirri
… & Fiora Pirri y 1 Introduction Abduction is a natural form of reasoning in any domain where new…
Cited by 1 (1 self) – Add To MetaCart

Autonomous Mobile Manipulators Managing Perception and Failures
by Alberto Finzi, Fiora Pirri, Marco Pirrone, Massimo Romano, Milko Vaccaro — 2001 — In AGENTS'01, The Fifth International Conference on Autonomous Agents
…Autonomous Mobile Manipulators Managing Perception and Failures Alberto Finzi, Fiora Pirri, Marco…
Cited by 8 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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