Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
 SIGMOD RECORD 2002
 ADBIS 2002
CIKM 2002
CoopIS 2002
 EDBT 2002
 ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
 DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
 KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
 SIGIR 2002
 SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Guido Governatori

Papers on DiSC'03


An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions

Publications


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