José Júlio Alferes

134 papers A* 2A 6B 26C 3Misc 15Journal 24Unranked 53

Year	Rank	Type	Title / Venue / Authors
2019	C	`ed.`	Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings PADL José Júlio Alferes, Moa Johansson
2019	B	`conf`	Telco Network Inventory Validation with NoHR. LPNMR Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
2018	J	`jnl`	Combining transactions and automatic repairs. J. Log. Comput. Ana Sofia Gomes, José Júlio Alferes
2017	J	`jnl`	RuleML (Web Rule Symposium) 2016 Report. AI Mag. Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi
2016	—	`ed.`	Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings RuleML José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
2015	—	`conf`	A Procedure for an Event-Condition-Transaction Language. RR Ana Sofia Gomes, José Júlio Alferes
2015	—	`conf`	How to Combine Event Stream Reasoning with Transactions for the Semantic Web. RuleML Ana Sofia Gomes, José Júlio Alferes
2014	J	`jnl`	A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Theory Pract. Log. Program. Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2014	B	`conf`	Preserving Strong Equivalence while Forgetting. JELIA Matthias Knorr, José Júlio Alferes
2014	J	`jnl`	Transaction Logic with (Complex) Events. CoRR Ana Sofia Gomes, José Júlio Alferes
2013	B	`conf`	Decidability and Implementation of Parametrized Logic Programs. LPNMR Ricardo Gonçalves, José Júlio Alferes
2013	A	`conf`	Deontic logic programs. AAMAS Ricardo Gonçalves, José Júlio Alferes
2013	J	`jnl`	Equivalence of defeasible normative systems. J. Appl. Non Class. Logics José Júlio Alferes, Ricardo Gonçalves, João Leite
2013	J	`jnl`	Extending Transaction Logic with External Actions. Theory Pract. Log. Program. Ana Sofia Gomes, José Júlio Alferes
2013	—	`conf`	External Transaction Logic with Automatic Compensations. CLIMA Ana Sofia Gomes, José Júlio Alferes
2013	B	`conf`	Forgetting under the Well-Founded Semantics. LPNMR José Júlio Alferes, Matthias Knorr, Kewen Wang
2013	J	`jnl`	Query-Driven Procedures for Hybrid MKNF Knowledge Bases. ACM Trans. Comput. Log. José Júlio Alferes, Matthias Knorr, Terrance Swift
2012	—	`conf`	An Embedding of Input-Output Logic in Deontic Logic Programs. DEON Ricardo Gonçalves, José Júlio Alferes
2012	A	`conf`	Specifying and reasoning about normative systems in deontic logic programming. AAMAS Ricardo Gonçalves, José Júlio Alferes
2011	J	`jnl`	A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases CoRR Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2011	Misc	`conf`	A Proposal for Transactions in the Semantic Web. EPIA Ana Sofia Gomes, José Júlio Alferes
2011	—	`conf`	Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning José Júlio Alferes, Alfredo Gabaldon, João Leite
2011	J	`jnl`	Evolving reactive logic programs. Intelligenza Artificiale José Júlio Alferes, Federico Banti, Antonio Brogi
2011	J	`jnl`	Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. Matthias Knorr, José Júlio Alferes, Pascal Hitzler
2011	B	`conf`	Parametrized Equilibrium Logic. LPNMR Ricardo Gonçalves, José Júlio Alferes
2011	—	`conf`	Querying OWL 2 QL and Non-monotonic Rules. ISWC (1) Matthias Knorr, José Júlio Alferes
2011	B	`conf`	Transaction Logic with External Actions. LPNMR Ana Sofia Gomes, José Júlio Alferes
2010	—	`conf`	Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) Carlos Viegas Damásio, José Júlio Alferes, João Leite
2010	C	`conf`	Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2010	B	`conf`	Parametrized Logic Programming. JELIA Ricardo Gonçalves, José Júlio Alferes
2010	J	`jnl`	Query-driven Procedures for Hybrid MKNF Knowledge Bases CoRR José Júlio Alferes, Matthias Knorr, Terrance Swift
2010	A	`conf`	Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. ECAI Matthias Knorr, José Júlio Alferes
2009	Misc	`conf`	A Logic Programming System for Evolving Programs with Temporal Operators. EPIA José Júlio Alferes, Alfredo Gabaldon, João Leite
2009	—	`conf`	An architecture for Idea Generation in Smart Meeting Rooms. AMIF Carlos Filipe Freitas, Carlos Ramos, José Júlio Alferes
2009	—	`ch.`	Evolution and Reactivity in the Semantic Web. REWERSE José Júlio Alferes, Michael Eckert, Wolfgang May
2009	Misc	`conf`	Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. ISWC José Júlio Alferes, Matthias Knorr, Terrance Swift
2009	—	`conf`	Resource allocation with answer-set programming. AAMAS (1) João Leite, José Júlio Alferes, Belopeta Mito
2008	A	`conf`	A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI Matthias Knorr, José Júlio Alferes, Pascal Hitzler
2008	—	`conf`	Bio-informatics Reactivity Features Through the Semantic Web. SWAT4LS Tiago Franco, José Júlio Alferes, Ludwig Krippahl, Ricardo Amador
2008	—	`conf`	Evolving Logic Programming Based Agents with Temporal Operators. IAT José Júlio Alferes, Alfredo Gabaldon, João Leite
2008	—	`conf`	Evolving Reactive Logic Programs. Il Milione José Júlio Alferes, Federico Banti, Antonio Brogi
2008	—	`conf`	Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite
2008	—	`conf`	Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web. ISWC (Posters & Demos) José Júlio Alferes, Ricardo Amador, Philipp Kärger, Daniel Olmedilla
2007	—	`conf`	A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics Matthias Knorr, José Júlio Alferes, Pascal Hitzler
2007	J	`jnl`	Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Appl. Log. José Júlio Alferes, João Leite
2007	—	`conf`	Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops Matthias Knorr, José Júlio Alferes, Pascal Hitzler
2006	—	`conf`	An Argumentation-Based Negotiation for Distributed Extended Logic Programs. CLIMA Iara Carnevale de Almeida, José Júlio Alferes
2006	B	`conf`	An Event-Condition-Action Logic Programming Language. JELIA José Júlio Alferes, Federico Banti, Antonio Brogi
2006	—	`conf`	Implementation of a Complex Event Engine for the Web. SCW José Júlio Alferes, Gaston E. Tagni
2006	—	`ed.`	Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers PPSWR José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel
2005	—	`conf`	A General Language for Evolution and Reactivity in the Semantic Web. PPSWR José Júlio Alferes, Ricardo Amador, Wolfgang May
2005	—	`conf`	Active Rules in the Semantic Web: Dealing with Language Heterogeneity. RuleML Wolfgang May, José Júlio Alferes, Ricardo Amador
2005	—	`conf`	An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. OTM Conferences (2) Wolfgang May, José Júlio Alferes, Ricardo Amador
2005	—	`conf`	Evolution and Reactivity for the Web. Reasoning Web José Júlio Alferes, Wolfgang May
2005	Misc	`conf`	Operational Semantics for DyLPs. EPIA Federico Banti, José Júlio Alferes, Antonio Brogi
2005	J	`jnl`	The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2005	B	`conf`	The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
2004	J	`jnl`	Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Theory Pract. Log. Program. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
2004	Misc	`conf`	Deductive Diagnosis of Digital Circuits. AIAI José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
2004	—	`conf`	From Logic Programs Updates to Action Description Updates. CLIMA José Júlio Alferes, Federico Banti, Antonio Brogi
2004	B	`ed.`	Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings JELIA José Júlio Alferes, João Alexandre Leite
2004	B	`conf`	Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2004	—	`conf`	Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR Wolfgang May, José Júlio Alferes, François Bry
2004	—	`conf`	Well Founded Semantics for Logic Program Updates. IBERAMIA Federico Banti, José Júlio Alferes, Antonio Brogi
2003	J	`jnl`	Abduction in Well-Founded Semantics and Generalized Stable Models CoRR José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
2003	Misc	`conf`	An Evolvable Rule-Based E-mail Agent. EPIA José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003	—	`conf`	An Evolving Agent with EVOLP. APPIA-GULP-PRODE José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003	—	`conf`	Logic Programming for Evolving Agents. CIA José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003	—	`conf`	Semantic Web Logic Programming Tools. PPSWR José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2002	B	`conf`	A Compilation of Updates plus Preferences. JELIA José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira
2002	—	`conf`	A Language for Multi-dimensional Updates. CLIMA João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002	—	`conf`	A Language for Updates with Multiple Dimensions. APPIA-GULP-PRODE João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002	B	`conf`	Evolving Logic Programs. JELIA José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2002	J	`jnl`	LUPSA language for updating logic programs. Artif. Intell. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002	—	`conf`	Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond José Júlio Alferes, Luís Moniz Pereira
2001	—	`conf`	Combining societal agents' knowledge. APPIA-GULP-PRODE João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	C	`conf`	Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2001	—	`conf`	MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	B	`conf`	Multi-dimensional Dynamic Knowledge Representation. LPNMR João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	Misc	`conf`	On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2000	Misc	`conf`	Dynamic Knowledge Representation and Its Applications. AIMSA José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
2000	J	`jnl`	Dynamic updates of non-monotonic knowledge bases. J. Log. Program. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2000	—	`conf`	Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2000	—	`conf`	Partial Models of Extended Generalized Logic Programs. Computational Logic José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
2000	B	`conf`	Updates plus Preferences. JELIA José Júlio Alferes, Luís Moniz Pereira
1999	B	`conf`	LUPS - A Language for Updating Logic Programs. LPNMR José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1999	—	`conf`	Preliminary exploration on actions as updates. APPIA-GULP-PRODE José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma
1999	Misc	`ed.`	Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings EPIA Pedro Barahona, José Júlio Alferes
1999	B	`conf`	Well-founded Abduction via Tabled Dual Programs. ICLP José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
1998	J	`jnl`	'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reason. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1998	—	`conf`	Argumentative and Cooperative Multi-agent System for Extended Logic Programming. SBIA Iara de Almeida Móra, José Júlio Alferes
1998	—	`conf`	Dynamic Logic Programming. APPIA-GULP-PRODE José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998	A*	`conf`	Dynamic Logic Programming. KR José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998	J	`jnl`	Preface: Logics for Artificial Intelligence. J. Autom. Reason. José Júlio Alferes, Luís Moniz Pereira
1998	—	`conf`	Tabling Abduction. TAPD José Júlio Alferes, Luís Moniz Pereira
1997	Misc	`conf`	Vivid Agents Arguing about Distributed Extended Logic Programs. EPIA Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes
1996	J	`jnl`	Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundam. Informaticae José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1996	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings JELIA José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska
1996	—	`book`	Reasoning with Logic Programming José Júlio Alferes, Luís Moniz Pereira
1996	B	`conf`	Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1996	—	`conf`	Update-Programs Can Update Programs. NMELP José Júlio Alferes, Luís Moniz Pereira
1995	J	`jnl`	A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1995	Misc	`conf`	Belief Revision in Non-Monotonic Reasoning. EPIA José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1995	J	`jnl`	Belief, Provability, and Logic Programs. J. Appl. Non Class. Logics José Júlio Alferes, Luís Moniz Pereira
1995	Misc	`conf`	Modelling Diagnosis Systems with the Logic Programming. EPIA Iara de Almeida Móra, José Júlio Alferes
1995	Misc	`conf`	Non-Atomic Actions in the Situation Calculus. EPIA José Júlio Alferes, Renwei Li, Luís Moniz Pereira
1994	J	`jnl`	Adding Closed World Assumptions to Well-Founded Semantics. Theor. Comput. Sci. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1994	—	`conf`	An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP José Júlio Alferes, Luís Moniz Pereira
1994	B	`conf`	Belief, Provability, and Logic Programs. JELIA José Júlio Alferes, Luís Moniz Pereira
1994	—	`conf`	SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. ILPS José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1994	A	`conf`	Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1993	—	`conf`	Contradiction: When Avoidance Equals Removal - Part I. ELP José Júlio Alferes, Luís Moniz Pereira
1993	—	`conf`	Contradiction: When Avoidance Equals Removal - Part II. ELP José Júlio Alferes, Luís Moniz Pereira
1993	—	`conf`	Debugging by Diagnosing Assumptions. AADEBUG Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	Misc	`conf`	Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	B	`conf`	Diagnosis and Debugging as Contradiction Removal. LPNMR Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	J	`jnl`	Non-Monotonic Reasoning with Logic Programming. J. Log. Program. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1993	B	`conf`	Optative Reasoning with Scenario Semantics. ICLP Luís Moniz Pereira, José Júlio Alferes
1993	B	`conf`	Scenario Semantics of Extended Logic Programs. LPNMR José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira
1993	—	`—`	Semantics of logic programs with explicit negation. José Júlio Alferes
1992	—	`conf`	Adding Closed World Assumptions to Well Founded Semantics. FGCS Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992	—	`conf`	Contradiction Removal Semantics with Explicit Negation. Logic at Work Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992	B	`conf`	Default Theory for Well Founded Semantics with Explicit Negation. JELIA Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992	—	`conf`	Logic Programming for Non-Monotonic Reasoning. Logic at Work Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1992	—	`conf`	On Logic Program Semantics with Two Kinds of Negation. JICSLP José Júlio Alferes, Luís Moniz Pereira
1992	—	`conf`	SLWV - A Theorem Prover for Logic Programming. ELP Luís Moniz Pereira, Luís Caires, José Júlio Alferes
1992	A	`conf`	Well Founded Semantics for Logic Programs with Explicit Negation. ECAI Luís Moniz Pereira, José Júlio Alferes
1991	—	`conf`	A Practical Introduction to Well Founded Semantics. SCAI Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1991	B	`conf`	Contradiction Removal within Well Founded Semantics. LPNMR Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1991	—	`conf`	Counterfactual Reasoning Based on Revising Assumptions. ISLP Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	A*	`conf`	Derivation Procedures for Extended Stable Models. IJCAI Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	—	`conf`	Hypothetical Reasoning with Well Founded Semantics. SCAI Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	B	`conf`	Nonmonotonic Reasoning with Well Founded Semantics. ICLP Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	Misc	`conf`	The Extended Stable Models of Contradiction Removal Semantics. EPIA Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício