default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé Júlio Alferes
Person information
- affiliation: Universidade Nova de Lisboa, Department of Computer Science
SPARQL queries 
🛈 Please note that only 72% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[c101]Vedran Kasalica
, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite:
Telco Network Inventory Validation with NoHR. LPNMR 2019: 18-31- [e6]José Júlio Alferes, Moa Johansson:
Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Lecture Notes in Computer Science 11372, Springer 2019, ISBN 978-3-030-05997-2 [contents] - 2018
- [j20]Ana Sofia Gomes, José Júlio Alferes:
Combining transactions and automatic repairs. J. Log. Comput. 28(3): 525-550 (2018) - 2017
- [j19]Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi:
RuleML (Web Rule Symposium) 2016 Report. AI Mag. 38(1): 109-110 (2017) - 2016
- [e5]José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman:
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Lecture Notes in Computer Science 9718, Springer 2016, ISBN 978-3-319-42018-9 [contents] - 2015
- [c100]Ana Sofia Gomes, José Júlio Alferes:
A Procedure for an Event-Condition-Transaction Language. RR 2015: 113-129 - [c99]Ana Sofia Gomes, José Júlio Alferes:
How to Combine Event Stream Reasoning with Transactions for the Semantic Web. RuleML 2015: 258-273 - 2014
- [j18]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Theory Pract. Log. Program. 14(2): 239-264 (2014) - [c98]Matthias Knorr, José Júlio Alferes:
Preserving Strong Equivalence while Forgetting. JELIA 2014: 412-425 - [i5]Ana Sofia Gomes, José Júlio Alferes:
Transaction Logic with (Complex) Events. CoRR abs/1405.3790 (2014) - 2013
- [j17]José Júlio Alferes, Ricardo Gonçalves, João Leite:
Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23(1-2): 25-48 (2013) - [j16]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-Driven Procedures for Hybrid MKNF Knowledge Bases. ACM Trans. Comput. Log. 14(2): 16:1-16:43 (2013) - [j15]Ana Sofia Gomes, José Júlio Alferes:
Extending Transaction Logic with External Actions. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c97]Ricardo Gonçalves, José Júlio Alferes:
Deontic logic programs. AAMAS 2013: 1333-1334 - [c96]Ana Sofia Gomes, José Júlio Alferes:
External Transaction Logic with Automatic Compensations. CLIMA 2013: 239-255 - [c95]José Júlio Alferes, Matthias Knorr, Kewen Wang:
Forgetting under the Well-Founded Semantics. LPNMR 2013: 36-41 - [c94]Ricardo Gonçalves, José Júlio Alferes:
Decidability and Implementation of Parametrized Logic Programs. LPNMR 2013: 361-373 - 2012
- [c93]Ricardo Gonçalves, José Júlio Alferes:
Specifying and reasoning about normative systems in deontic logic programming. AAMAS 2012: 1423-1424 - [c92]Ricardo Gonçalves, José Júlio Alferes:
An Embedding of Input-Output Logic in Deontic Logic Programs. DEON 2012: 61-75 - 2011
- [j14]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9-10): 1528-1554 (2011) - [j13]José Júlio Alferes, Federico Banti, Antonio Brogi:
Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81 (2011) - [c91]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 - [c90]Ana Sofia Gomes, José Júlio Alferes:
A Proposal for Transactions in the Semantic Web. EPIA 2011: 690-703 - [c89]Ricardo Gonçalves, José Júlio Alferes:
Parametrized Equilibrium Logic. LPNMR 2011: 236-241 - [c88]Ana Sofia Gomes, José Júlio Alferes:
Transaction Logic with External Actions. LPNMR 2011: 272-277 - [c87]Matthias Knorr, José Júlio Alferes:
Querying OWL 2 QL and Non-monotonic Rules. ISWC (1) 2011: 338-353 - [i4]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases. CoRR abs/1103.3949 (2011) - 2010
- [c86]Matthias Knorr, José Júlio Alferes:
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. ECAI 2010: 1079-1080 - [c85]Ricardo Gonçalves, José Júlio Alferes:
Parametrized Logic Programming. JELIA 2010: 182-194 - [c84]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL 2010: 25-39 - [c83]Carlos Viegas Damásio, José Júlio Alferes, João Leite:
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) 2010: 798-813 - [i3]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010)
2000 – 2009
- 2009
- [c82]Carlos Filipe Freitas, Carlos Ramos, José Júlio Alferes:
An architecture for Idea Generation in Smart Meeting Rooms. AMIF 2009: 159-166 - [c81]João Leite, José Júlio Alferes, Belopeta Mito:
Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656 - [c80]José Júlio Alferes, Alfredo Gabaldon, João Leite:
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112 - [c79]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. ISWC 2009: 1-16 - [p1]José Júlio Alferes, Michael Eckert, Wolfgang May:
Evolution and Reactivity in the Semantic Web. REWERSE 2009: 161-200 - 2008
- [c78]José Júlio Alferes, Federico Banti, Antonio Brogi:
Evolving Reactive Logic Programs. Il Milione 2008 - [c77]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103 - [c76]José Júlio Alferes, Alfredo Gabaldon, João Leite:
Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244 - [c75]José Júlio Alferes, Ricardo Amador, Philipp Kärger, Daniel Olmedilla:
Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web. ISWC (Posters & Demos) 2008 - [c74]Tiago Franco, José Júlio Alferes, Ludwig Krippahl, Ricardo Amador:
Bio-informatics Reactivity Features Through the Semantic Web. SWAT4LS 2008 - [i2]José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite:
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems 2008 - 2007
- [j12]José Júlio Alferes, João Leite:
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Appl. Log. 5(3): 389-391 (2007) - [c73]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007 - [c72]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14 - [c71]José Júlio Alferes, Ricardo Amador:
r 3- A Foundational Ontology for Reactive Rules. OTM Conferences (1) 2007: 933-952 - 2006
- [c70]Iara Carnevale de Almeida, José Júlio Alferes:
An Argumentation-Based Negotiation for Distributed Extended Logic Programs. CLIMA 2006: 191-210 - [c69]José Júlio Alferes, Federico Banti, Antonio Brogi:
An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42 - [c68]José Júlio Alferes, Gaston E. Tagni:
Implementation of a Complex Event Engine for the Web. SCW 2006: 65-72 - [e4]José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel:
Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4187, Springer 2006, ISBN 3-540-39586-5 [contents] - 2005
- [j11]José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite:
The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica 79(1): 7-32 (2005) - [c67]Federico Banti, José Júlio Alferes, Antonio Brogi:
Operational Semantics for DyLPs. EPIA 2005: 43-54 - [c66]Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368 - [c65]Wolfgang May, José Júlio Alferes, Ricardo Amador:
An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. OTM Conferences (2) 2005: 1553-1570 - [c64]José Júlio Alferes, Ricardo Amador, Wolfgang May:
A General Language for Evolution and Reactivity in the Semantic Web. PPSWR 2005: 101-115 - [c63]Wolfgang May, José Júlio Alferes, Ricardo Amador:
Active Rules in the Semantic Web: Dealing with Language Heterogeneity. RuleML 2005: 30-44 - [c62]José Júlio Alferes, Wolfgang May:
Evolution and Reactivity for the Web. Reasoning Web 2005: 134-172 - 2004
- [j10]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Theory Pract. Log. Program. 4(4): 383-428 (2004) - [c61]José Júlio Alferes, Federico Banti, Antonio Brogi:
From Logic Programs Updates to Action Description Updates. CLIMA 2004: 52-77 - [c60]Federico Banti, José Júlio Alferes, Antonio Brogi:
Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407 - [c59]José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift:
Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-165 - [c58]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 - [c57]Wolfgang May, José Júlio Alferes, François Bry:
Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR 2004: 19-33 - [e3]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
- [c56]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 - [c55]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Logic Programming for Evolving Agents. CIA 2003: 281-297 - [c54]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 - [c53]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
Semantic Web Logic Programming Tools. PPSWR 2003: 16-32 - [i1]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Abduction in Well-Founded Semantics and Generalized Stable Models. CoRR cs.LO/0312057 (2003) - 2002
- [j9]José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
LUPSA language for updating logic programs. Artif. Intell. 138(1-2): 87-116 (2002) - [c52]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 - [c51]José Júlio Alferes, Luís Moniz Pereira:
Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond 2002: 382-412 - [c50]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Evolving Logic Programs. JELIA 2002: 50-61 - [c49]José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira:
A Compilation of Updates plus Preferences. JELIA 2002: 62-73 - [c48]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: 20-38 - 2001
- [c47]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
Combining societal agents' knowledge. APPIA-GULP-PRODE 2001: 313-327 - [c46]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157 - [c45]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 - [c44]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 - [c43]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378 - 2000
- [j8]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) - [c42]José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma:
Dynamic Knowledge Representation and Its Applications. AIMSA 2000: 1-10 - [c41]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 - [c40]José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira:
Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163 - [c39]José Júlio Alferes, Luís Moniz Pereira:
Updates plus Preferences. JELIA 2000: 345-360
1990 – 1999
- 1999
- [c38]José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma:
Preliminary exploration on actions as updates. APPIA-GULP-PRODE 1999: 259-272 - [c37]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440 - [c36]José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176 - [e2]Pedro Barahona, José Júlio Alferes:
Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings. Lecture Notes in Computer Science 1695, Springer 1999, ISBN 3-540-66548-X [contents] - 1998
- [j7]José Júlio Alferes, Luís Moniz Pereira:
Preface: Logics for Artificial Intelligence. J. Autom. Reason. 20(1): 1-3 (1998) - [j6]José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reason. 20(1): 107-142 (1998) - [c35]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 - [c34]José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
Dynamic Logic Programming. KR 1998: 98-111 - [c33]Iara de Almeida Móra, José Júlio Alferes:
Argumentative and Cooperative Multi-agent System for Extended Logic Programming. SBIA 1998: 161-170 - [c32]José Júlio Alferes, Luís Moniz Pereira:
Tabling Abduction. TAPD 1998: 75-82 - 1997
- [c31]Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes:
Vivid Agents Arguing about Distributed Extended Logic Programs. EPIA 1997: 217-228 - 1996
- [b1]José Júlio Alferes, Luís Moniz Pereira:
Reasoning with Logic Programming. Lecture Notes in Computer Science 1111, Springer 1996, ISBN 3-540-61488-5 - [j5]José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundam. Informaticae 28(1-2): 1-22 (1996) - [c30]José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA 1996: 143-163 - [c29]José Júlio Alferes, Luís Moniz Pereira:
Update-Programs Can Update Programs. NMELP 1996: 110-131 - [e1]José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska:
Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Lecture Notes in Computer Science 1126, Springer 1996, ISBN 3-540-61630-6 [contents] - 1995
- [j4]José Júlio Alferes, Luís Moniz Pereira:
Belief, Provability, and Logic Programs. J. Appl. Non Class. Logics 5(1): 31-50 (1995) - [j3]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. 14(1): 93-147 (1995) - [c28]José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Belief Revision in Non-Monotonic Reasoning. EPIA 1995: 40-56 - [c27]José Júlio Alferes, Renwei Li, Luís Moniz Pereira:
Non-Atomic Actions in the Situation Calculus. EPIA 1995: 273-284 - [c26]Iara de Almeida Móra, José Júlio Alferes:
Modelling Diagnosis Systems with the Logic Programming. EPIA 1995: 409-418 - 1994
- [j2]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Adding Closed World Assumptions to Well-Founded Semantics. Theor. Comput. Sci. 122(1&2): 49-68 (1994) - [c25]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI 1994: 140-144 - [c24]José Júlio Alferes, Luís Moniz Pereira:
Belief, Provability, and Logic Programs. JELIA 1994: 106-121 - [c23]José Júlio Alferes, Luís Moniz Pereira:
An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP 1994: 3-22 - [c22]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. ILPS 1994: 424-438 - 1993
- [j1]Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Non-Monotonic Reasoning with Logic Programming. J. Log. Program. 17(2/3&4): 227-263 (1993) - [c21]Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes:
Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74 - [c20]José Júlio Alferes, Luís Moniz Pereira:
Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23 - [c19]José Júlio Alferes, Luís Moniz Pereira:
Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281 - [c18]Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes:
Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA 1993: 183-197 - [c17]Luís Moniz Pereira, José Júlio Alferes:
Optative Reasoning with Scenario Semantics. ICLP 1993: 601-615 - [c16]Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes:
Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330 - [c15]José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira:
Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348 - 1992
- [c14]Luís Moniz Pereira, José Júlio Alferes:
Well Founded Semantics for Logic Programs with Explicit Negation. ECAI 1992: 102-106 - [c13]Luís Moniz Pereira, Luís Caires, José Júlio Alferes:
SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23 - [c12]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Adding Closed World Assumptions to Well Founded Semantics. FGCS 1992: 562-569 - [c11]José Júlio Alferes, Luís Moniz Pereira:
On Logic Program Semantics with Two Kinds of Negation. JICSLP 1992: 574-588 - [c10]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Default Theory for Well Founded Semantics with Explicit Negation. JELIA 1992: 339-356 - [c9]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Contradiction Removal Semantics with Explicit Negation. Logic at Work 1992: 91-105 - [c8]Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Logic Programming for Non-Monotonic Reasoning. Logic at Work 1992: 107-121 - 1991
- [c7]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
The Extended Stable Models of Contradiction Removal Semantics. EPIA 1991: 105-119 - [c6]Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Nonmonotonic Reasoning with Well Founded Semantics. ICLP 1991: 475-489 - [c5]Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Derivation Procedures for Extended Stable Models. IJCAI 1991: 863-869 - [c4]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119 - [c3]Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
A Practical Introduction to Well Founded Semantics. SCAI 1991: 277-288 - [c2]Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Hypothetical Reasoning with Well Founded Semantics. SCAI 1991: 289-300 - [c1]Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Counterfactual Reasoning Based on Revising Assumptions. ISLP 1991: 566-577
Coauthor Index
João Leite 0001
aka: João Alexandre Leite
aka: João Alexandre Leite
[j10] [c56] [c55] [c54] [c53] [i1] [j9] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [j8] [c42] [c41] [c40] [c39] [c38] [c37] [c36] [j7] [j6] [c35] [c34] [c32] [b1] [j5] [c30] [c29] [e1] [j4] [j3] [c28] [c27] [j2] [c25] [c24] [c23] [c22] [j1] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
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-08-05 21:13 CEST 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:
