![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Guido Governatori 25 Benjamin Johnston , Guido Governatori: An algorithm for the induction of defeasible logic theories from databases. ADC 2003 : 75-83 24 Benjamin Johnston , Guido Governatori: Induction of Defeasible Logic Theories in the Legal Domain. ICAIL 2003 : 204-213 23 Guido Governatori, Vineet Padmanabhan , Abdul Sattar : A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002 : 723 22 Guido Governatori, Vineet Padmanabhan , Abdul Sattar : On Fibring Semantics for BDI Logics. JELIA 2002 : 198-210 21 Marlon Dumas , Guido Governatori, Arthur H. M. ter Hofstede , Nick Russell : An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. RIDE 2002 20 Marlon Dumas , Lachlan Aldred , Guido Governatori, Arthur H. M. ter Hofstede , Nick Russell : A probabilistic approach to automated bidding in alternative auctions. WWW 2002 : 99-108 19 Vineet Padmanabhan , Guido Governatori, Abdul Sattar : Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001 : 390-401 18 Guido Governatori, Marlon Dumas , Arthur H. M. ter Hofstede , Phillipa Oaks : A formal approach to legal negotiation. ICAIL 2001 : 168-177 17 Grigoris Antoniou , David Billington , Guido Governatori, Michael J. Maher : Representation results for defeasible logic. TOCL 2 (2): 255-287 (2001) 16 Grigoris Antoniou , David Billington , Guido Governatori, Michael J. Maher : A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000 : 405-410 15 Grigoris Antoniou , David Billington , Guido Governatori, Michael J. Maher , Andrew Rock : A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000 : 459-463 14 Guido Governatori, Michael J. Maher : An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000 : 469-473 13 Guido Governatori, Michael J. Maher , Grigoris Antoniou , David Billington : Argumentation Semantics for Defeasible Logics. PRICAI 2000 : 27-37 12 Alberto Artosi , Guido Governatori, Antonino Rotolo : A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. TABLEAUX 2000 : 82-97 11 Michael J. Maher , Guido Governatori: A Semantic Decomposition of Defeasible Logics. AAAI/IAAI 1999 : 299-305 10 Guido Governatori, Alessandro Luppi : Labelled Tableaux for Non-normal Modal Logics. AI*IA 1999 : 119-130 9 Paolo Di Giusto , Guido Governatori: Analytic Modal Revision for Multi-agent Systems. EPIA 1999 : 282-296 8 Paolo Di Giusto , Guido Governatori: A New Approach to Base Revision. EPIA 1999 : 327-341 7 David Billington , Grigoris Antoniou , Guido Governatori, Michael J. Maher : Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999 : 101-112 6 Grigoris Antoniou , Michael J. Maher , David Billington , Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999 : 347-356 5 Alberto Artosi , Paola Cattabriga , Guido Governatori: A Modal Computational Framework for Default Reasoning. KI 1997 : 373-376 4 Alberto Artosi , Guido Governatori, Giovanni Sartor : Towards a Computational Treatment of Deontic Defeasibility. DEON 1996 : 27-46 3 Guido Governatori: Labelling Ideality and Subideality. FAPR 1996 : 291-304 2 Alberto Artosi , Paola Benassi , Guido Governatori, Antonino Rotolo : Labelled Proofs for Quantified Modal Logic. JELIA 1996 : 70-86 1 Guido Governatori: Labelled Tableaux for Multi-Modal Logics. TABLEAUX 1995 : 79-94 ![]() DiSC'03 © 2003 Association for Computing Machinery |