Grigoris Antoniou

Available identifiers

zbMath Open antoniou.grigorisWikidataQ17744375 ScholiaQ17744375MaRDI QIDQ360255

List of research outcomes

Publication	Date of Publication	Type
Revision operators with compact representations	2024-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q5880835	2023-03-06	Paper
Rethinking Defeasible Reasoning: A Scalable Approach	2021-09-03	Paper
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming	2020-12-13	Paper
A comparative survey of default logic variants	2019-04-29	Paper
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming	2018-12-04	Paper
Extended RDF: computability and complexity issues	2016-01-28	Paper
ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS	2016-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q3455609	2015-12-11	Paper
An inclusion theorem for defeasible logics	2015-09-17	Paper
MWeb	2015-09-17	Paper
Minimal change: relevance and recovery revisited	2015-08-27	Paper
Efficient Computation of the Well-Founded Semantics over Big Data	2014-11-25	Paper
Why-provenance information for RDF, rules, and negation	2014-06-26	Paper
Justifications for Logic Programming	2013-10-10	Paper
A framework for modular ERDF ontologies	2013-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q2909136	2012-08-29	Paper
Forgetting for Defeasible Logic	2012-06-15	Paper
Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic	2011-05-26	Paper
The ramification problem in temporal databases: Concurrent execution	2010-06-01	Paper
Contextual Argumentation in Ambient Intelligence	2009-11-10	Paper
Representation results for defeasible logic	2009-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3624127	2009-04-28	Paper
Methods and Applications of Artificial Intelligence	2007-09-25	Paper
Embedding defeasible logic into logic programming	2007-02-13	Paper
Defeasible reasoning: A discussion of some intuitions	2007-02-09	Paper
SOFSEM 2006: Theory and Practice of Computer Science	2006-11-14	Paper
Argumentation Semantics for Defeasible Logic	2005-03-21	Paper
Defeasible logic with dynamic priorities	2005-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4739568	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4812974	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475122	2004-08-09	Paper
On the dynamics of default reasoning	2003-05-07	Paper
Defeasible logic versus Logic Programming without Negation as Failure	2001-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4494325	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4944873	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4955346	2000-10-25	Paper
A note on the refinement of ontologies	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4501807	2000-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4262995	2000-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4247209	2000-01-12	Paper
Operational concepts of nonmonotonic logics. II: Autoepistemic logic	1999-06-07	Paper
Splitting finite default theories: A comparison of two approaches	1999-05-11	Paper
Operational characterization of extensions in some logics for default reasoning	1998-02-04	Paper
Studying properties of classes of default logics	1998-01-01	Paper
A note on the cumulativity of justified default logic	1998-01-01	Paper
A correct logic programming computation of default logic extensions	1997-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4333375	1997-02-19	Paper
New proofs in default logic theory	1996-10-20	Paper
Operational concepts of nonmonotonic logics. I: Default logic	1995-08-27	Paper
Applying SLD-Resolution to a Class of Non-Horn Logic Programs	1995-01-02	Paper
The verification of modules	1994-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4282499	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4003336	1992-09-18	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: Grigoris Antoniou