1996
|
Giunchiglia, Fausto; Giunchiglia, Enrico; Costello, Tom; Bouquet, Paolo Dealing with expected and unexpected obstacles Journal Article J. Exp. Theor. Artif. Intell., 8 (2), pp. 173–190, 1996. Links | BibTeX @article{DBLP:journals/jetai/GiunchigliaGCB96,
title = {Dealing with expected and unexpected obstacles},
author = {Fausto Giunchiglia and Enrico Giunchiglia and Tom Costello and Paolo Bouquet},
url = {http://dx.doi.org/10.1080/095281396147447},
doi = {10.1080/095281396147447},
year = {1996},
date = {1996-01-01},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {8},
number = {2},
pages = {173--190},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Armando, Alessandro; Traverso, Paolo; Cimatti, Alessandro Visual representation of natural language scene descriptions Journal Article IEEE Trans. Systems, Man, and Cybernetics, Part B, 26 (4), pp. 575–589, 1996. Links | BibTeX @article{DBLP:journals/tsmc/GiunchigliaATC96,
title = {Visual representation of natural language scene descriptions},
author = {Enrico Giunchiglia and Alessandro Armando and Paolo Traverso and Alessandro Cimatti},
url = {http://dx.doi.org/10.1109/3477.517032},
doi = {10.1109/3477.517032},
year = {1996},
date = {1996-01-01},
journal = {IEEE Trans. Systems, Man, and Cybernetics, Part B},
volume = {26},
number = {4},
pages = {575--589},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Benerecetti, Massimo; Cimatti, Alessandro; Giunchiglia, Enrico; Giunchiglia, Fausto; Serafini, Luciano Formal Specification of Beliefs in Multi-Agent Systems Inproceedings Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings, pp. 117–130, 1996. Links | BibTeX @inproceedings{DBLP:conf/atal/BenerecettiCGGS97,
title = {Formal Specification of Beliefs in Multi-Agent Systems},
author = {Massimo Benerecetti and Alessandro Cimatti and Enrico Giunchiglia and Fausto Giunchiglia and Luciano Serafini},
url = {http://dx.doi.org/10.1007/BFb0013581},
doi = {10.1007/BFb0013581},
year = {1996},
date = {1996-01-01},
booktitle = {Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings},
pages = {117--130},
crossref = {DBLP:conf/atal/1996},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Giunchiglia, Fausto Ideal and Real Belief about Belief Inproceedings Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 261–275, 1996. Links | BibTeX @inproceedings{DBLP:conf/fapr/GiunchigliaG96,
title = {Ideal and Real Belief about Belief},
author = {Enrico Giunchiglia and Fausto Giunchiglia},
url = {http://dx.doi.org/10.1007/3-540-61313-7_78},
doi = {10.1007/3-540-61313-7_78},
year = {1996},
date = {1996-01-01},
booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings},
pages = {261--275},
crossref = {DBLP:conf/fapr/1996},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico Determining Ramifications in the Situation Calculus Inproceedings Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996., pp. 76–86, 1996. BibTeX @inproceedings{DBLP:conf/kr/Giunchiglia96,
title = {Determining Ramifications in the Situation Calculus},
author = {Enrico Giunchiglia},
year = {1996},
date = {1996-01-01},
booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996.},
pages = {76--86},
crossref = {DBLP:conf/kr/1996},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Fausto; Giunchiglia, Enrico Ideal and Real Belief aobout Belief: Some Intuitions Inproceedings Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings, pp. 1–12, 1996. Links | BibTeX @inproceedings{DBLP:conf/maamaw/GiunchigliaG96,
title = {Ideal and Real Belief aobout Belief: Some Intuitions},
author = {Fausto Giunchiglia and Enrico Giunchiglia},
url = {http://dx.doi.org/10.1007/BFb0031842},
doi = {10.1007/BFb0031842},
year = {1996},
date = {1996-01-01},
booktitle = {Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings},
pages = {1--12},
crossref = {DBLP:conf/maamaw/1996},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
1995
|
Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, Paolo Structured Proof Procedures Journal Article Ann. Math. Artif. Intell., 15 (1), pp. 1–18, 1995. Links | BibTeX @article{DBLP:journals/amai/GiunchigliaAP95,
title = {Structured Proof Procedures},
author = {Enrico Giunchiglia and Alessandro Armando and Paolo Pecchiari},
url = {http://dx.doi.org/10.1007/BF01535839},
doi = {10.1007/BF01535839},
year = {1995},
date = {1995-01-01},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {1},
pages = {1--18},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Traverso, Paolo A multicontext architecture for formalizing complex reasoning Journal Article Int. J. Intell. Syst., 10 (5), pp. 501–539, 1995. Links | BibTeX @article{DBLP:journals/ijis/GiunchigliaT95,
title = {A multicontext architecture for formalizing complex reasoning},
author = {Enrico Giunchiglia and Paolo Traverso},
url = {http://dx.doi.org/10.1002/int.4550100504},
doi = {10.1002/int.4550100504},
year = {1995},
date = {1995-01-01},
journal = {Int. J. Intell. Syst.},
volume = {10},
number = {5},
pages = {501--539},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Giunchiglia, Fausto; Serafini, Luciano Agents as Reasoners, Observers or Believers Inproceedings Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings, pp. 414–425, 1995. Links | BibTeX @inproceedings{DBLP:conf/aiia/GiunchigliaGS95,
title = {Agents as Reasoners, Observers or Believers},
author = {Enrico Giunchiglia and Fausto Giunchiglia and Luciano Serafini},
url = {http://dx.doi.org/10.1007/3-540-60437-5_41},
doi = {10.1007/3-540-60437-5_41},
year = {1995},
date = {1995-01-01},
booktitle = {Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings},
pages = {414--425},
crossref = {DBLP:conf/aiia/1995},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Giunchiglia, Fausto; Serafini, Luciano Agents as Reasoners, Observers, or Arbitrary Believers Inproceedings Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA, pp. 448, 1995. BibTeX @inproceedings{DBLP:conf/icmas/GiunchigliaGS95,
title = {Agents as Reasoners, Observers, or Arbitrary Believers},
author = {Enrico Giunchiglia and Fausto Giunchiglia and Luciano Serafini},
year = {1995},
date = {1995-01-01},
booktitle = {Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA},
pages = {448},
crossref = {DBLP:conf/icmas/1995},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Lifschitz, Vladimir Dependent Fluents Inproceedings Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 1964–1969, 1995. BibTeX @inproceedings{DBLP:conf/ijcai/GiunchigliaL95,
title = {Dependent Fluents},
author = {Enrico Giunchiglia and Vladimir Lifschitz},
year = {1995},
date = {1995-01-01},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes},
pages = {1964--1969},
crossref = {DBLP:conf/ijcai/1995},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
1994
|
Traverso, Paolo; Cimatti, Alessandro; Spalazzi, Luca; Armando, Alessandro; Giunchiglia, Enrico MRG: Building planers for real-world complex applications Journal Article Applied Artificial Intelligence, 8 (3), pp. 333–357, 1994. Links | BibTeX @article{DBLP:journals/aai/TraversoCSAG94,
title = {MRG: Building planers for real-world complex applications},
author = {Paolo Traverso and Alessandro Cimatti and Luca Spalazzi and Alessandro Armando and Enrico Giunchiglia},
url = {http://dx.doi.org/10.1080/08839519408945447},
doi = {10.1080/08839519408945447},
year = {1994},
date = {1994-01-01},
journal = {Applied Artificial Intelligence},
volume = {8},
number = {3},
pages = {333--357},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
1993
|
Armando, Alessandro; Giunchiglia, Enrico Embedding Complex Decision Procedures Inside an Interactive Theorem Prover Journal Article Ann. Math. Artif. Intell., 8 (3-4), pp. 475–502, 1993. Links | BibTeX @article{DBLP:journals/amai/ArmandoG93,
title = {Embedding Complex Decision Procedures Inside an Interactive Theorem Prover},
author = {Alessandro Armando and Enrico Giunchiglia},
url = {http://dx.doi.org/10.1007/BF01530803},
doi = {10.1007/BF01530803},
year = {1993},
date = {1993-01-01},
journal = {Ann. Math. Artif. Intell.},
volume = {8},
number = {3-4},
pages = {475--502},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Manzo, Mauro Di; Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, Paolo Proving Formulas through Reduction to Decidable Classes Inproceedings Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings, pp. 1–10, 1993. Links | BibTeX @inproceedings{DBLP:conf/aiia/ManzoGAP93,
title = {Proving Formulas through Reduction to Decidable Classes},
author = {Mauro Di Manzo and Enrico Giunchiglia and Alessandro Armando and Paolo Pecchiari},
url = {http://dx.doi.org/10.1007/3-540-57292-9_36},
doi = {10.1007/3-540-57292-9_36},
year = {1993},
date = {1993-01-01},
booktitle = {Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings},
pages = {1--10},
crossref = {DBLP:conf/aiia/1993},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Fausto; Serafini, Luciano; Giunchiglia, Enrico; Frixione, Marcello Non-Omniscient Belief as Context-Based Resoning Inproceedings Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 548–554, 1993. BibTeX @inproceedings{DBLP:conf/ijcai/GiunchigliaSGF93,
title = {Non-Omniscient Belief as Context-Based Resoning},
author = {Fausto Giunchiglia and Luciano Serafini and Enrico Giunchiglia and Marcello Frixione},
year = {1993},
date = {1993-01-01},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993},
pages = {548--554},
crossref = {DBLP:conf/ijcai/1993},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Manzo, Mauro Di; Giunchiglia, Enrico Multi-Context Systems as a Tool to Model Temporal Evolution Inproceedings Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 548–557, 1993. Links | BibTeX @inproceedings{DBLP:conf/ismis/ManzoG93,
title = {Multi-Context Systems as a Tool to Model Temporal Evolution},
author = {Mauro Di Manzo and Enrico Giunchiglia},
url = {http://dx.doi.org/10.1007/3-540-56804-2_51},
doi = {10.1007/3-540-56804-2_51},
year = {1993},
date = {1993-01-01},
booktitle = {Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings},
pages = {548--557},
crossref = {DBLP:conf/ismis/1993},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
1992
|
Traverso, Paolo; Armando, Alessandro; Giunchiglia, Enrico A Knowledge Based System for Automatic 3D Scene Inproceedings AIMSA, pp. 255–264, 1992. BibTeX @inproceedings{DBLP:conf/aimsa/TraversoAG92,
title = {A Knowledge Based System for Automatic 3D Scene},
author = {Paolo Traverso and Alessandro Armando and Enrico Giunchiglia},
year = {1992},
date = {1992-01-01},
booktitle = {AIMSA},
pages = {255--264},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
1991
|
Giunchiglia, Enrico A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic Inproceedings SCAI, pp. 84–89, 1991. BibTeX @inproceedings{DBLP:conf/scai/Giunchiglia91,
title = {A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic},
author = {Enrico Giunchiglia},
year = {1991},
date = {1991-01-01},
booktitle = {SCAI},
pages = {84--89},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
1988
|
Giunchiglia, Fausto; Giunchiglia, Enrico Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas Inproceedings ECAI, pp. 607–609, 1988. BibTeX @inproceedings{DBLP:conf/ecai/GiunchigliaG88,
title = {Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas},
author = {Fausto Giunchiglia and Enrico Giunchiglia},
year = {1988},
date = {1988-01-01},
booktitle = {ECAI},
pages = {607--609},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|