João Leite

João Alexandre Leite

	2011
65		João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings Springer 2011
64		Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hübner, João Leite: Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers Springer 2011
63		Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota: Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346
62		João Martins, André Platzer, João Leite: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM 2011: 131-146
61		João Leite, João Martins: Social Abstract Argumentation. IJCAI 2011: 2287-2292
60		Martin Slota, João Leite: Back and Forth between Rules and SE-Models. LPNMR 2011: 174-186
59		José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 193-212
58		Jürgen Dix, João Leite: Preface to the special issue on computational logics in multi-agent systems. Ann. Math. Artif. Intell. 62(1-2): 1-5 (2011)
57		Martin Slota, João Leite: Back and Forth Between Rules and SE-Models (Extended Version) CoRR abs/1102.5385: (2011)
56		Martin Slota, João Leite, Terrance Swift: Splitting and Updating Hybrid Knowledge Bases (Extended Version) CoRR abs/1105.0288: (2011)
55		Martin Slota, João Leite, Terrance Swift: Splitting and updating hybrid knowledge bases. TPLP 11(4-5): 801-819 (2011)
	2010
54		Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers Springer 2010
53		Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings Springer 2010
52		Martin Slota, João Leite: On Semantic Update Operators for Answer-Set Programs. ECAI 2010: 957-962
51		Carlos Viegas Damásio, José Júlio Alferes, João Leite: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. International Semantic Web Conference (1) 2010: 798-813
50		Martin Slota, João Leite: Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) CoRR abs/1004.4342: (2010)
49		Martin Slota, João Leite: Towards closed world reasoning in dynamic open worlds. TPLP 10(4-6): 547-563 (2010)
	2009
48		Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 CEUR-WS.org 2009
47		João Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656
46		João Leite: Playing with Rules. DALT 2009: 1-19
45		José Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112
44		Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Introductory Essay of LADS'009. MALLOW 2009
	2008
43		Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers Springer 2008
42		José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
41		Manoela Ilic, João Leite, Martin Slota: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361
40		Manoela Ilic, João Leite, Martin Slota: Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. Web Intelligence 2008: 840-846
	2007
39		Martin Slota, João Leite: EVOLP: Tranformation-Based Semantics. CLIMA 2007: 117-136
38		Martin Slota, João Leite: EVOLP: An Implementation. CLIMA 2007: 288-298
37		João Leite, Manoela Ilic: Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42
36		José Júlio Alferes, João Leite: Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Applied Logic 5(3): 389-391 (2007)
	2006
35		João Leite, Luís Soares: Adding Evolving Abilities to a Multi-Agent System. CLIMA 2006: 246-265
34		Vivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190
33		Vivek Nigam, João Leite: Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181
32		Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah-Seghrouchni, Jorge J. Gómez-Sanz, João Leite, Gregory M. P. O'Hare, Alexander Pokahr, Alessandro Ricci: A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica (Slovenia) 30(1): 33-44 (2006)
	2005
31		João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum: Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers Springer 2005
30		João Alexandre Leite, Paolo Torroni: Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers Springer 2005
29		José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32 (2005)
	2004
28		João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers Springer 2004
27		José Júlio Alferes, João Alexandre Leite: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings Springer 2004
26		Jürgen Dix, João Alexandre Leite: Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers Springer 2004
25		João Alexandre Leite: On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385
24		José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20
23		Jürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)
	2003
22		José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216
21		José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
20		José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408
	2002
19		Jürgen Dix, João Alexandre Leite, Ken Satoh: Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings Roskilde University 2002
18		João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA 2002: 19-34
17		José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
16		João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. Electr. Notes Theor. Comput. Sci. 70(5): 20-38 (2002)
15		Jürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): 204-206 (2002)
	2001
14		João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
13		Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182
12		João Alexandre Leite: A Modified Semantics for LUPS. EPIA 2001: 261-275
11		João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA 2001: 276-289
10		José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232
9		João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
	2000
8		João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 17-26
7		José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000)
	1999
6		Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE 1999: 367-382
5		Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA 1999: 342-356
	1998
4		José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. APPIA-GULP-PRODE 1998: 393-408
3		João Alexandre Leite, Luís Moniz Pereira: Iterated Logic Program Updates. IJCSLP 1998: 265-278
2		José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
	1997
1		João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246

Coauthor Index

1	Thomas Ågotnes	[65]
2	Marco Alberti	[63]
3	José Júlio Alferes	[2] [4] [7] [8] [9] [10] [11] [14] [16] [17] [18] [20] [21] [22] [24] [27] [29] [36] [42] [45] [47] [51] [59]
4	Matteo Baldoni	[48]
5	Federico Banti	[24] [29]
6	Cristina Baroglio	[48]
7	Jamal Bentahar	[48]
8	Guido Boella	[48] [65]
9	Rafael H. Bordini	[32]
10	Lars Braubach	[32]
11	Antonio Brogi	[10] [17] [20] [21] [22] [24] [29]
12	Amílcar Cardoso	[5] [6]
13	Massimo Cossentino	[48]
14	Carlos Viegas Damásio	[51]
15	Mehdi Dastani	[32] [43] [44] [48] [54] [64]
16	Pierangelo Dell'Acqua	[13]
17	Jürgen Dix	[15] [19] [23] [26] [53] [58]
18	Barbara Dunin-Keplicz	[48]
19	Amal El Fallah-Seghrouchni (Amal El Fallah)	[32] [43] [44] [48] [54] [64]
20	Miguel Ferrand	[5] [6]
21	Giancarlo Fortino	[48]
22	Alfredo Gabaldon	[42] [45] [59]
23	Marie Pierre Gleizes	[48]
24	Ana Sofia Gomes	[63]
25	Jorge J. Gómez-Sanz	[32]
26	Ricardo Gonçalves	[63]
27	Guido Governatori	[53]
28	Jomi Fred Hübner (Jomi Hübner)	[64]
29	Manoela Ilic	[37] [40] [41]
30	Wojciech Jamroga (Wojtek Jamroga)	[53]
31	João Martins	[61] [62]
32	Viviana Mascardi	[48]
33	Belopeta Mito	[47]
34	Vivek Nigam	[33] [34]
35	Gregory M. P. O'Hare	[32]
36	Andrea Omicini	[28] [31]
37	Julian A. Padget	[48]
38	Juan Pavón	[48]
39	Luís Moniz Pereira (Luíz Moniz Pereira)	[1] [2] [3] [4] [7] [8] [9] [10] [11] [13] [14] [16] [17] [18] [20] [21] [22]
40	André Platzer	[62]
41	Alexander Pokahr	[32]
42	Axel Polleres	[48]
43	Halina Przymusinska	[2] [4] [7] [16] [18]
44	Teodor C. Przymusinski	[2] [4] [7] [16] [18]
45	Alessandro Ricci	[32]
46	Ken Satoh	[15] [19] [23]
47	Martin Slota	[38] [39] [40] [41] [49] [50] [52] [55] [56] [57] [60] [63]
48	Luís Soares	[35]
49	Leon Sterling	[28]
50	Terrance Swift	[55] [56]
51	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[65]
52	Paolo Torroni	[28] [30] [31] [43] [44] [48] [54] [65]
53	Rineke Verbrugge (L. C. Verbrugge)	[48]
54	Pinar Yolum	[31]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page