José Júlio Alferes

ORCID

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 5

Top Venues

LPNMR

Theory Pract. Log. Program.

AAMAS

CLIMA

Publications

Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
Telco Network Inventory Validation with NoHR. LPNMR (2019)
Ana Sofia Gomes, José Júlio Alferes
Combining transactions and automatic repairs. J. Log. Comput. 28 (3) (2018)
Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi
RuleML (Web Rule Symposium) 2016 Report. AI Mag. 38 (1) (2017)
Ana Sofia Gomes, José Júlio Alferes
How to Combine Event Stream Reasoning with Transactions for the Semantic Web. RuleML (2015)
Ana Sofia Gomes, José Júlio Alferes
A Procedure for an Event-Condition-Transaction Language. RR (2015)
Ana Sofia Gomes, José Júlio Alferes
Transaction Logic with (Complex) Events. CoRR (2014)
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) (2014)
Matthias Knorr, José Júlio Alferes
Preserving Strong Equivalence while Forgetting. JELIA (2014)
Ricardo Gonçalves, José Júlio Alferes
Deontic logic programs. AAMAS (2013)
José Júlio Alferes, Matthias Knorr, Kewen Wang
Forgetting under the Well-Founded Semantics. LPNMR (2013)
José Júlio Alferes, Matthias Knorr, Terrance Swift
Query-Driven Procedures for Hybrid MKNF Knowledge Bases. ACM Trans. Comput. Log. 14 (2) (2013)
Ana Sofia Gomes, José Júlio Alferes
External Transaction Logic with Automatic Compensations. CLIMA (2013)
Ana Sofia Gomes, José Júlio Alferes
Extending Transaction Logic with External Actions. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Ricardo Gonçalves, José Júlio Alferes
Decidability and Implementation of Parametrized Logic Programs. LPNMR (2013)
José Júlio Alferes, Ricardo Gonçalves, João Leite
Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23 (1-2) (2013)
Ricardo Gonçalves, José Júlio Alferes
An Embedding of Input-Output Logic in Deontic Logic Programs. DEON (2012)
Ricardo Gonçalves, José Júlio Alferes
Specifying and reasoning about normative systems in deontic logic programming. AAMAS (2012)
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases CoRR (2011)
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) (2011)
Ana Sofia Gomes, José Júlio Alferes
A Proposal for Transactions in the Semantic Web. EPIA (2011)
Ana Sofia Gomes, José Júlio Alferes
Transaction Logic with External Actions. LPNMR (2011)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Ricardo Gonçalves, José Júlio Alferes
Parametrized Equilibrium Logic. LPNMR (2011)
Matthias Knorr, José Júlio Alferes
Querying OWL 2 QL and Non-monotonic Rules. ISWC (1) (2011)
José Júlio Alferes, Federico Banti, Antonio Brogi
Evolving reactive logic programs. Intelligenza Artificiale 5 (1) (2011)
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL (2010)
Ricardo Gonçalves, José Júlio Alferes
Parametrized Logic Programming. JELIA (2010)
Matthias Knorr, José Júlio Alferes
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. ECAI (2010)
Carlos Viegas Damásio, José Júlio Alferes, João Leite
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) (2010)
José Júlio Alferes, Matthias Knorr, Terrance Swift
Query-driven Procedures for Hybrid MKNF Knowledge Bases CoRR (2010)
José Júlio Alferes, Matthias Knorr, Terrance Swift
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. ISWC (2009)
João Leite, José Júlio Alferes, Belopeta Mito
Resource allocation with answer-set programming. AAMAS (1) (2009)
Carlos Filipe Freitas, Carlos Ramos, José Júlio Alferes
An architecture for Idea Generation in Smart Meeting Rooms. AMIF (2009)
José Júlio Alferes, Alfredo Gabaldon, João Leite
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA (2009)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programming Based Agents with Temporal Operators. IAT (2008)
José Júlio Alferes, Federico Banti, Antonio Brogi
Evolving Reactive Logic Programs. Il Milione (2008)
Tiago Franco, José Júlio Alferes, Ludwig Krippahl, Ricardo Amador
Bio-informatics Reactivity Features Through the Semantic Web. SWAT4LS (2008)
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)
José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems (2008)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI (2008)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics (2007)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops (2007)
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) (2007)
José Júlio Alferes, Ricardo Amador
- A Foundational Ontology for Reactive Rules. OTM Conferences (1) (2007)
José Júlio Alferes, Federico Banti, Antonio Brogi
An Event-Condition-Action Logic Programming Language. JELIA (2006)
Iara Carnevale de Almeida, José Júlio Alferes
An Argumentation-Based Negotiation for Distributed Extended Logic Programs. CLIMA (2006)
José Júlio Alferes, Gaston E. Tagni
Implementation of a Complex Event Engine for the Web. SCW (2006)
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)
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) (2005)
Wolfgang May, José Júlio Alferes, Ricardo Amador
Active Rules in the Semantic Web: Dealing with Language Heterogeneity. RuleML (2005)
Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR (2005)
José Júlio Alferes, Wolfgang May
Evolution and Reactivity for the Web. Reasoning Web (2005)
Federico Banti, José Júlio Alferes, Antonio Brogi
Operational Semantics for DyLPs. EPIA (2005)
José Júlio Alferes, Ricardo Amador, Wolfgang May
A General Language for Evolution and Reactivity in the Semantic Web. PPSWR (2005)
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR (2004)
Federico Banti, José Júlio Alferes, Antonio Brogi
Well Founded Semantics for Logic Program Updates. IBERAMIA (2004)
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) (2004)
José Júlio Alferes, Federico Banti, Antonio Brogi
From Logic Programs Updates to Action Description Updates. CLIMA (2004)
Wolfgang May, José Júlio Alferes, François Bry
Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR (2004)
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
Deductive Diagnosis of Digital Circuits. AIAI (2004)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
An Evolving Agent with EVOLP. APPIA-GULP-PRODE (2003)
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
Semantic Web Logic Programming Tools. PPSWR (2003)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
Logic Programming for Evolving Agents. CIA (2003)
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
Abduction in Well-Founded Semantics and Generalized Stable Models CoRR (2003)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
An Evolvable Rule-Based E-mail Agent. EPIA (2003)
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)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
Evolving Logic Programs. JELIA (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Multi-dimensional Updates. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira
A Compilation of Updates plus Preferences. JELIA (2002)
José Júlio Alferes, Luís Moniz Pereira
Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond (2002)
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
LUPSA language for updating logic programs. Artif. Intell. 138 (1-2) (2002)
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)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL (2001)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
Combining societal agents' knowledge. APPIA-GULP-PRODE (2001)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
Multi-dimensional Dynamic Knowledge Representation. LPNMR (2001)
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)
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)
José Júlio Alferes, Luís Moniz Pereira
Updates plus Preferences. JELIA (2000)
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
Dynamic Knowledge Representation and Its Applications. AIMSA (2000)
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) (2000)
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)
José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
Partial Models of Extended Generalized Logic Programs. Computational Logic (2000)
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
LUPS - A Language for Updating Logic Programs. LPNMR (1999)
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)
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
Well-founded Abduction via Tabled Dual Programs. ICLP (1999)
José Júlio Alferes, Luís Moniz Pereira
Tabling Abduction. TAPD (1998)
José Júlio Alferes, Luís Moniz Pereira
Preface: Logics for Artificial Intelligence. J. Autom. Reason. 20 (1) (1998)
Iara de Almeida Móra, José Júlio Alferes
Argumentative and Cooperative Multi-agent System for Extended Logic Programming. SBIA (1998)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic Logic Programming. APPIA-GULP-PRODE (1998)
José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reason. 20 (1) (1998)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic Logic Programming. KR (1998)
Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes
Vivid Agents Arguing about Distributed Extended Logic Programs. EPIA (1997)
José Júlio Alferes, Luís Moniz Pereira
Update-Programs Can Update Programs. NMELP (1996)
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) (1996)
José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA (1996)
Iara de Almeida Móra, José Júlio Alferes
Modelling Diagnosis Systems with the Logic Programming. EPIA (1995)
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. 14 (1) (1995)
José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
Belief Revision in Non-Monotonic Reasoning. EPIA (1995)
José Júlio Alferes, Renwei Li, Luís Moniz Pereira
Non-Atomic Actions in the Situation Calculus. EPIA (1995)
José Júlio Alferes, Luís Moniz Pereira
Belief, Provability, and Logic Programs. J. Appl. Non Class. Logics 5 (1) (1995)

José Júlio Alferes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José Júlio Alferes