default search action
João Leite 0001
João Alexandre Leite
Person information
- affiliation: Universidade Nova de Lisboa, Department of Computer Science
Other persons with the same name
- João Leite 0002 — Bosch Automotive Products, Suzhou, China
- João Leite 0003 — Higher Polytechnic Institute of Gaya, Portugal
- João Leite 0004
— University of Minho, Algoritmi Center, Guimarães, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c93]Jesse Heyninck
Abstract Dialectical Frameworks are Boolean Networks. LPNMR 2024: 98-111 - [c92]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. NMR 2024: 53-60 - [i20]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR abs/2407.02055 (2024) - 2023
- [j23]João Leite
A Brief History of Updates of Answer-Set Programs. Theory Pract. Log. Program. 23(1): 57-110 (2023) - [j22]Ricardo Gonçalves
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23(1): 111-156 (2023) - [c91]Frederico Aleixo, Matthias Knorr
Revising Boolean Logical Models of Biological Regulatory Networks. KR 2023: 12-22 - [i19]Manuel de Sousa Ribeiro, João Leite:
On Modifying a Neural Network's Perception. CoRR abs/2303.02655 (2023) - 2022
- [c90]João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite:
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. KR 2022 - [c89]Matthias Knorr
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR 2022: 287-300 - 2021
- [c88]Manuel de Sousa Ribeiro
Aligning Artificial Neural Networks and Ontologies towards Explainable AI. AAAI 2021: 4932-4940 - [c87]Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. EPIA 2021: 338-350 - [c86]João Ferreira
Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. EPIA 2021: 363-375 - [c85]Ricardo Gonçalves
On Syntactic Forgetting Under Uniform Equivalence. JELIA 2021: 297-312 - [c84]Jesse Heyninck
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA 2021: 329-345 - [i18]Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite:
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. CoRR abs/2106.08452 (2021) - [i17]João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite:
Faster than LASER - Towards Stream Reasoning with Deep Neural Networks. CoRR abs/2106.08457 (2021) - [i16]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming - A Survey. CoRR abs/2107.07016 (2021) - [i15]João Leite, Martin Slota:
A Brief History of Updates of Answer-Set Programs. CoRR abs/2112.13477 (2021) - 2020
- [j21]Ricardo Gonçalves
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286: 103307 (2020) - [j20]Vedran Kasalica
NoHR: An Overview. Künstliche Intell. 34(4): 509-515 (2020) - [i14]Manuel de Sousa Ribeiro
Explainable Abstract Trains Dataset. CoRR abs/2012.12115 (2020)
2010 – 2019
- 2019
- [j19]Matti Berthold, Ricardo Gonçalves
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory Pract. Log. Program. 19(5-6): 1038-1055 (2019) - [c83]Ricardo Gonçalves
Forgetting in Modular Answer Set Programming. AAAI 2019: 2843-2850 - [c82]Matti Berthold, Ricardo Gonçalves
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) 2019: 552-565 - [c81]Vedran Kasalica
Telco Network Inventory Validation with NoHR. LPNMR 2019: 18-31 - [c80]João G. Martins
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX 2019: 428-445 - [i13]Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite:
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR abs/1907.12501 (2019) - 2018
- [j18]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. 256: 68-104 (2018) - [j17]João Leite
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. 28(3): 475-476 (2018) - [c79]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Variable Elimination for DLP-Functions. KR 2018: 643-644 - 2017
- [j16]Ricardo Gonçalves
When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory Pract. Log. Program. 17(5-6): 837-854 (2017) - [c78]Ricardo Gonçalves
Iterative Variable Elimination in ASP. EPIA 2017: 643-656 - [c77]João Leite:
Efficient Reasoning with Rules and Ontologies. ICAART (1) 2017: 7 - [c76]João Leite
A Bird's-Eye View of Forgetting in Answer-Set Programming. LPNMR 2017: 10-22 - [c75]Carlos Lopes
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR 2017: 236-249 - [c74]Orkunt Sabuncu, João Leite
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. LPNMR 2017: 336-342 - [e16]Bo An, Ana L. C. Bazzan, João Leite
PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621, Springer 2017, ISBN 978-3-319-69130-5 [contents] - [i12]Leila Amgoud, Elise Bonzon, Marco Correia, Jorge Cruz, Jérôme Delobelle, Sébastien Konieczny, João Leite, Alexis Martin, Nicolas Maudet, Srdjan Vesic:
A note on the uniqueness of models in social abstract argumentation. CoRR abs/1705.03381 (2017) - [i11]Martin Slota, João Leite:
Exception-Based Knowledge Updates. CoRR abs/1706.00585 (2017) - [i10]Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran:
When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR abs/1707.05152 (2017) - 2016
- [c73]Ricardo Gonçalves
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. ECAI 2016: 957-965 - [c72]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Some Properties of Forgetting in ASP. DARe@ECAI 2016 - [c71]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI 2016 - [c70]Gerhard Brewka, Stefan Ellmauthaler
Inconsistency Management in Reactive Multi-context Systems. JELIA 2016: 529-535 - [c69]Ricardo Gonçalves
Forgetting in ASP: The Forgotten Properties. JELIA 2016: 543-550 - [c68]Ricardo Gonçalves, Matthias Knorr, João Leite:
The Ultimate Guide to Forgetting in Answer Set Programming. KR 2016: 135-144 - [i9]Gerhard Brewka, Stefan Ellmauthaler
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR abs/1609.03438 (2016) - 2015
- [j15]Martin Slota, João Leite
On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229: 33-104 (2015) - [j14]João Leite
Applications of logical approaches to argumentation. Argument Comput. 6(1): 1-2 (2015) - [c67]Tobias Kaminski, Matthias Knorr, João Leite:
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics 2015 - [c66]Vadim Ivanov, Matthias Knorr
Reasoning over Ontologies and Non-monotonic Rules. EPIA 2015: 388-401 - [c65]Ricardo Gonçalves
Minimal Change in Evolving Multi-Context Systems. EPIA 2015: 611-623 - [c64]Nuno Costa, Matthias Knorr, João Leite:
Extending NoHR for OWL 2 QL. JOWO@IJCAI 2015 - [c63]Tobias Kaminski, Matthias Knorr, João Leite:
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI 2015: 3098-3105 - [c62]Tobias Kaminski, Matthias Knorr, João Leite:
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI 2015 - [c61]Nuno Costa, Matthias Knorr
Next Step for NoHR: OWL 2 QL. ISWC (1) 2015: 569-586 - [c60]Nuno Costa, Matthias Knorr, João Leite:
Querying LUBM with Non-monotonic Features in Protege using NoHR. ISWC (Posters & Demos) 2015 - [i8]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR abs/1505.05368 (2015) - [i7]Ricardo Gonçalves, Matthias Knorr, João Leite:
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR abs/1505.05502 (2015) - 2014
- [j13]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. 24(6): 1141-1144 (2014) - [j12]Matthias Knorr
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24(6): 1279-1311 (2014) - [j11]Martin Slota, João Leite
The rise and fall of semantic rule updates based on SE-models. Theory Pract. Log. Program. 14(6): 869-907 (2014) - [c59]Ricardo Gonçalves
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA 2014: 52-69 - [c58]Marco Correia
On the Efficient Implementation of Social Abstract Argumentation. ECAI 2014: 225-230 - [c57]Ricardo Gonçalves
Evolving Multi-Context Systems. ECAI 2014: 375-380 - [c56]Martin Slota, Martin Baláz, João Leite
On Supporting Strong and Default Negation in Answer-Set Program Updates. IBERAMIA 2014: 41-53 - [c55]Matthias Knorr, Ricardo Gonçalves, João Leite:
On Efficient Evolving Multi-Context Systems. PRICAI 2014: 284-296 - [e15]Eduardo Fermé
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8761, Springer 2014, ISBN 978-3-319-11557-3 [contents] - [e14]Ulle Endriss, João Leite:
STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014. Frontiers in Artificial Intelligence and Applications 264, IOS Press 2014, ISBN 978-1-61499-420-6 [contents] - [i6]Martin Slota, Martin Baláz, João Leite:
On Strong and Default Negation in Logic Program Updates (Extended Version). CoRR abs/1404.6784 (2014) - 2013
- [j10]José Júlio Alferes
Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23(1-2): 25-48 (2013) - [c54]Matthias Knorr
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA 2013: 223-238 - [c53]Martin Slota, João Leite:
On Condensing a Sequence of Updates in Answer-Set Programming. IJCAI 2013: 1097-1103 - [c52]Ricardo Gonçalves
Non-monotonic Temporal Goals. LPNMR 2013: 374-386 - [c51]Martin Slota, Martin Baláz, João Leite
Early Recovery in Logic Program Updates. LPNMR 2013: 512-517 - [c50]Vadim Ivanov, Matthias Knorr, João Leite:
NoHR: Querying EL with Non-monotonic Rules. ISWC (Posters & Demos) 2013: 17-20 - [c49]Vadim Ivanov, Matthias Knorr
A Query Tool for EL with Non-monotonic Rules. ISWC (1) 2013: 216-231 - [c48]Sinan Egilmez
Extending Social Abstract Argumentation with Votes on Attacks. TAFA 2013: 16-31 - [e13]João Leite
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2 [contents] - [i5]Martin Slota, João Leite:
The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR abs/1306.3884 (2013) - 2012
- [c47]Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota:
Normative systems require hybrid knowledge bases. AAMAS 2012: 1425-1426 - [c46]Martin Homola, Matthias Knorr
MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162 - [c45]Martin Slota, João Leite
A Unifying Perspective on Knowledge Updates. JELIA 2012: 372-384 - [c44]Martin Slota, João Leite:
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR 2012 - 2011
- [j9]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) - [j8]Martin Slota, João Leite
Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. 11(4-5): 801-819 (2011) - [c43]José Júlio Alferes
Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 193-212 - [c42]Marco Alberti
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346 - [c41]João G. Martins, André Platzer
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM 2011: 131-146 - [c40]João Leite, João G. Martins:
Social Abstract Argumentation. IJCAI 2011: 2287-2292 - [c39]Martin Slota, João Leite
Back and Forth between Rules and SE-Models. LPNMR 2011: 174-186 - [e12]João Leite
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7 [contents] - [e11]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. Lecture Notes in Computer Science 6822, Springer 2011, ISBN 978-3-642-22722-6 [contents] - [i4]Martin Slota, João Leite:
Back and Forth Between Rules and SE-Models (Extended Version). CoRR abs/1102.5385 (2011) - [i3]Martin Slota, João Leite, Terrance Swift:
Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011) - 2010
- [j7]Martin Slota, João Leite
Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. 10(4-6): 547-563 (2010) - [c38]Martin Slota, João Leite
On Semantic Update Operators for Answer-Set Programs. ECAI 2010: 957-962 - [c37]Carlos Viegas Damásio
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) 2010: 798-813 - [e10]Jürgen Dix, João Leite
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents] - [e9]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite
Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6039, Springer 2010, ISBN 978-3-642-13337-4 [contents] - [i2]Martin Slota, João Leite:
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version). CoRR abs/1004.4342 (2010)
2000 – 2009
- 2009
- [j6]Manoela Ilic, João Leite
ERASP - a system for enhancing recommendations using answer-set programming. Int. J. Reason. based Intell. Syst. 1(3/4): 147-163 (2009) - [c36]João Leite, José Júlio Alferes
Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656 - [c35]João Leite
Playing with Rules. DALT 2009: 1-19 - [c34]José Júlio Alferes
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112 - [c33]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Introductory Essay of LADS'009. MALLOW 2009 - [e8]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 Workshop Proceedings 494, CEUR-WS.org 2009 [contents] - 2008
- [c32]José Júlio Alferes
Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244 - [c31]Manoela Ilic, João Leite
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361 - [c30]Manoela Ilic, João Leite
Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. Web Intelligence 2008: 840-846 - [e7]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite
Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5118, Springer 2008, ISBN 978-3-540-85057-1 [contents] - [i1]José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite:
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems 2008 - 2007
- [j5]José Júlio Alferes
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Appl. Log. 5(3): 389-391 (2007) - [c29]Martin Slota, João Leite
EVOLP: Tranformation-Based Semantics. CLIMA 2007: 117-136 - [c28]Martin Slota, João Leite
EVOLP: An Implementation. CLIMA 2007: 288-298 - [c27]João Leite
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42 - 2006
- [j4]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) - [c26]João Leite
Adding Evolving Abilities to a Multi-Agent System. CLIMA 2006: 246-265 - [c25]Vivek Nigam, João Leite
A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190 - [c24]Vivek Nigam, João Leite
Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181 - 2005
- [j3]José Júlio Alferes
The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica 79(1): 7-32 (2005) - [e6]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. Lecture Notes in Computer Science 3487, Springer 2005, ISBN 3-540-28060-X [contents] - [e5]João Alexandre Leite
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3476, Springer 2005, ISBN 3-540-26172-9 [contents] - 2004
- [j2]Jürgen Dix, João Alexandre Leite
Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) - [c23]João Alexandre Leite
On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385 - [c22]José Júlio Alferes
Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20 - [e4]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. Lecture Notes in Computer Science 3259, Springer 2004, ISBN 3-540-24010-1 [contents] - [e3]João Alexandre Leite
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7 [contents] - [e2]José Júlio Alferes, João Alexandre Leite
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3229, Springer 2004, ISBN 3-540-23242-7 [contents] - 2003
- [c21]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 - [c20]José Júlio Alferes
Logic Programming for Evolving Agents. CIA 2003: 281-297 - [c19]José Júlio Alferes
An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408 - 2002
- [c18]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Updates with Multiple Dimensions. APPIA-GULP-PRODE 2002: 325-341 - [c17]José Júlio Alferes
Evolving Logic Programs. JELIA 2002: 50-61 - [c16]João Alexandre Leite
A Language for Multi-dimensional Updates. CLIMA 2002: 20-38 - [c15]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface. CLIMA 2002: 204-206 - [e1]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002 [contents] - 2001
- [c14]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
Combining societal agents' knowledge. APPIA-GULP-PRODE 2001: 313-327 - [c13]João Alexandre Leite
MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157 - [c12]Pierangelo Dell'Acqua, João Alexandre Leite
Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182 - [c11]João Alexandre Leite
A Modified Semantics for LUPS. EPIA 2001: 261-275 - [c10]João Alexandre Leite
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA 2001: 276-289 - [c9]José Júlio Alferes
Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232 - [c8]João Alexandre Leite
Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378 - 2000
- [j1]José Júlio Alferes
Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000) - [c7]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
1990 – 1999
- 1999
- [c6]Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso:
Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE 1999: 367-382 - [c5]Miguel Ferrand, João Alexandre Leite
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA 1999: 342-356 - 1998
- [c4]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 - [c3]João Alexandre Leite, Luís Moniz Pereira:
Iterated Logic Program Updates. IJCSLP 1998: 265-278 - [c2]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
- [c1]João Alexandre Leite
Generalizing Updates: From Models to Programs. LPKR 1997: 224-246
Coauthor Index
[c93] [c92] [i20] [j22] [c91] [c89] [c87] [c86] [c85] [c84] [i18] [i17] [i16] [j21] [j20] [j19] [c83] [c82] [c81] [i13] [j18] [c79] [j16] [c78] [c75] [i10] [c73] [c72] [c71] [c70] [c69] [c68] [i9] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [i8] [i7] [j12] [c59] [c57] [c55] [c54] [c52] [c50] [c49] [c47] [c46]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: