José Júlio Alferes

Available identifiers

zbMath Open alferes.jose-julioWikidataQ102338724 ScholiaQ102338724MaRDI QIDQ646500

List of research outcomes

Publication	Date of Publication	Type
Telco network inventory validation with NoHR	2019-10-10	Paper
Strong and explicit negation in non-monotonic reasoning and logic programming	2019-10-08	Paper
Combining transactions and automatic repairs	2019-01-31	Paper
Equivalence of defeasible normative systems	2018-08-28	Paper
Query-Driven Procedures for Hybrid MKNF Knowledge Bases	2015-09-17	Paper
Preserving Strong Equivalence while Forgetting	2015-01-14	Paper
A goal-directed implementation of query answering for hybrid MKNF knowledge bases	2014-04-17	Paper
Forgetting under the Well-Founded Semantics	2013-10-10	Paper
Decidability and Implementation of Parametrized Logic Programs	2013-10-10	Paper
External Transaction Logic with Automatic Compensations	2013-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q2844914	2013-08-20	Paper
An Embedding of Input-Output Logic in Deontic Logic Programs	2012-11-02	Paper
Local closed world reasoning with description logics under the well-founded semantics	2011-11-17	Paper
Parametrized Equilibrium Logic	2011-05-26	Paper
Transaction Logic with External Actions	2011-05-26	Paper
Evolving Logic Programs with Temporal Operators	2011-05-19	Paper
Parametrized Logic Programming	2010-10-01	Paper
Progress in Artificial Intelligence	2009-08-07	Paper
An Argumentation-Based Negotiation for Distributed Extended Logic Programs	2009-01-20	Paper
An Event-Condition-Action Logic Programming Language	2008-10-30	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
The refinement extension principle for semantics of dynamic logic programming	2005-12-02	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Abduction in well-founded semantics and generalized stable models via tabled dual programs	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4739291	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736479	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4708906	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708907	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4707772	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4798021	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4536336	2002-11-25	Paper
LUPS -- A language for updating logic programs	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4537432	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767051	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2753775	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4955336	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4244297	1999-05-27	Paper
`Classical' negation in nonmonotonic reasoning and logic programming	1998-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4332412	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q5688898	1997-03-19	Paper
Reasoning with logic programming	1996-10-06	Paper
Belief, provability, and logic programs	1995-09-11	Paper
A logic programming system for nonmonotonic reasoning	1995-08-27	Paper
Adding closed world assumptions to well-founded semantics	1994-11-29	Paper
Non-monotonic reasoning with logic programming	1994-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4013773	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: José Júlio Alferes