Grigoris Antoniou

According to our database1, Grigoris Antoniou
  • authored at least 260 papers between 1983 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Temporal representation and reasoning in OWL 2.
Semantic Web, 2017

Design and evaluation of small-large outer joins in cloud computing environments.
J. Parallel Distrib. Comput., 2017

Representing Time and Space for the Semantic Web.
International Journal on Artificial Intelligence Tools, 2017

Editorial.
International Journal on Artificial Intelligence Tools, 2017

A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report.
CoRR, 2017

A Semantically Enriched Hypercat-enabled Internet of Things Data Hub.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

A Hypercat-Enabled Semantic Internet of Things Data Hub.
Proceedings of the Semantic Web - 14th International Conference, 2017

2016
Rule-Based Real-Time ADL Recognition in a Smart Home Environment.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Applying SPARQL-Based Inference and Ontologies for Modelling and Execution of Clinical Practice Guidelines: A Case Study on Hypertension Management.
Proceedings of the Knowledge Representation for Health Care, 2016

Large Scale Reasoning Using Allen's Interval Algebra.
Proceedings of the Advances in Soft Computing, 2016

Hypercat RDF: Semantic Enrichment for IoT.
Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

2015
Ontology evolution: a process-centric survey.
Knowledge Eng. Review, 2015

Extended RDF: Computability and complexity issues.
Ann. Math. Artif. Intell., 2015

iCurate: A Research Data Management System.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2015

Representing Time for the Semantic Web.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2015

Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain.
Proceedings of the 2015 IEEE International Conference on Big Data, 2015

Exploiting Parallelism for Hard Problems in Abstract Argumentation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Efficient Computation of the Well-Founded Semantics over Big Data.
TPLP, 2014

Ontologies of Time: Review and Trends.
IJCSA, 2014

Efficient Computation of the Well-Founded Semantics over Big Data.
CoRR, 2014

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.
CoRR, 2014

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics.
Computational Intelligence, 2014

Why-provenance information for RDF, rules, and negation.
Ann. Math. Artif. Intell., 2014

Representing and Reasoning over Topological Relations in OWL.
Proceedings of the 4th International Conference on Web Intelligence, 2014

Large-Scale Reasoning with (Semantic) Data.
Proceedings of the 4th International Conference on Web Intelligence, 2014

Integrated Representation of Spatial Topological and Size Relations for the Semantic Web.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

Massively Parallel Reasoning under the Well-Founded Semantics Using X10.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Rational Elimination of DL-Lite TBox Axioms.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Integrated Representation of Temporal Intervals and Durations for the Semantic Web.
Proceedings of the New Trends in Database and Information Systems II, 2014

Reasoning over Spatial Orientation Relations Using Rules.
Proceedings of the New Trends in Database and Information Systems II, 2014

2013
Formal foundations for RDF/S KB evolution.
Knowl. Inf. Syst., 2013

A framework for modular ERDF ontologies.
Ann. Math. Artif. Intell., 2013

Minimal change: Relevance and recovery revisited.
Artif. Intell., 2013

Large-Scale Complex Reasoning with Semantics: Approaches and Challenges.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013

Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization.
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

Justifications for Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012
Semantic Data Management (Dagstuhl Seminar 12171).
Dagstuhl Reports, 2012

Provenance for SPARQL queries
CoRR, 2012

Provenance for SPARQL Queries.
Proceedings of the Semantic Web - ISWC 2012, 2012

Access control for RDF graphs using abstract models.
Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Forgetting for Defeasible Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Towards Parallel Nonmonotonic Reasoning with Billions of Facts.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

S-CRETA: Smart Classroom Real-Time Assistance.
Proceedings of the Ambient Intelligence - Software and Applications, 2012

Formal Foundations for RDF Evolution and Repair.
Proceedings of the 8th International Conference on ICT in Education, 2012

Large-scale Parallel Stratified Defeasible Reasoning.
Proceedings of the ECAI 2012, 2012

A Semantic Web Primer, 3rd Edition.
MIT Press, ISBN: 978-0-262-01828-9, 2012

2011
Semantic Web dynamics.
J. Web Sem., 2011

Contextual Defeasible Logic and Its Application to Ambient Intelligence.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011

MWeb: A principled framework for modular web rule bases and its semantics.
ACM Trans. Comput. Log., 2011

Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system.
Knowl.-Based Syst., 2011

Strategies for contextual reasoning with conflicts in ambient intelligence.
Knowl. Inf. Syst., 2011

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web.
Int. J. Semantic Web Inf. Syst., 2011

DEAL: A Distributed Authorization Language for Ambient Intelligence.
IJACI, 2011

Extended RDF as a Semantic Foundation of Rule Markup Languages
CoRR, 2011

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Modularity in the Rule Interchange Format.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Rule-Based Activity Recognition in Ambient Intelligence.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Reasoning and Proofing Services for Semantic Web Agents.
Proceedings of the IJCAI 2011, 2011

Evolution of Ontologies using ASP.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition.
Proceedings of the Ambient Intelligence, 2011

2010
An inclusion theorem for defeasible logics.
ACM Trans. Comput. Log., 2010

Defeasible Contextual Reasoning with Arguments in Ambient Intelligence.
IEEE Trans. Knowl. Data Eng., 2010

The ramification problem in temporal databases: Concurrent execution.
Int. J. Intell. Syst., 2010

Task-Based Dependency Management for the Preservation of Digital Objects Using Rules.
Proceedings of the Artificial Intelligence: Theories, 2010

A Reasoning Framework for Ambient Intelligence.
Proceedings of the Artificial Intelligence: Theories, 2010

Rule-Based Contextual Reasoning in Ambient Intelligence.
Proceedings of the Semantic Web Rules - International Symposium, 2010

Embeddings of Simple Modular Extended RDF.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Reasoning about Context in Ambient Intelligence Environments: A Report from the Field.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

On the Deployment of Contextual Reasoning in Ambient Intelligence Environments.
Proceedings of the Sixth International Conference on Intelligent Environments, 2010

Controlling Access to RDF Graphs.
Proceedings of the Future Internet - FIS 2010, 2010

Implementing Simple Modular ERDF ontologies.
Proceedings of the ECAI 2010, 2010

Reasoning with Imperfect Context and Preference Information in Multi-Context Systems.
Proceedings of the Advances in Databases and Information Systems, 2010

2009
Web Ontology Language: OWL.
Proceedings of the Handbook on Ontologies, 2009

Semantic Web.
Proceedings of the Encyclopedia of Database Systems, 2009

Special Issue on Ontology Dynamics.
J. Log. Comput., 2009

Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments.
JAISE, 2009

Design and challenges of a semantics-based framework for context-aware services.
IJRIS, 2009

A Tool for Addressing the Ramification Problem in Temporal Databases.
International Journal on Artificial Intelligence Tools, 2009

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems.
Expert Syst. Appl., 2009

Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

A Formal Theory for Modular ERDF Ontologies.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

Contextual Argumentation in Ambient Intelligence.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Alternative Strategies for Conflict Resolution in Multi-Context Systems.
Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

AlertMe: A Semantics-Based Context-Aware Notification System.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Uniform Interpolation for ALC\mathcal{ALC} Revisited.
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008
Ontology change: classification and survey.
Knowledge Eng. Review, 2008

Extended RDF as a Semantic Foundation of Rule Markup Languages.
J. Artif. Intell. Res., 2008

Visual Modeling of Defeasible Logic Rules with Dr-VisMO.
International Journal on Artificial Intelligence Tools, 2008

Deploying defeasible logic rule bases for the semantic web.
Data Knowl. Eng., 2008

Proof explanation for a nonmonotonic Semantic Web rules language.
Data Knowl. Eng., 2008

The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web.
Proceedings of the Artificial Intelligence: Theories, 2008


A system for modal and deontic defeasible reasoning.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Local and Distributed Defeasible Reasoning in Multi-Context Systems.
Proceedings of the Rule Representation, 2008

Visualization of Proofs in Defeasible Logic.
Proceedings of the Rule Representation, 2008

Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

On the Computability and Complexity Issues of Extended RDF.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

A Principled Framework for Modular Web Rule Bases and Its Semantics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

The Ramification Problem in Temporal Databases: A Solution Implemented in SQL.
Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

Answering an Inquiry from Heterogeneous Contexts.
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

A Formal Approach for RDF/S Ontology Evolution.
Proceedings of the ECAI 2008, 2008

Computability and Complexity Issues of Extended RDF.
Proceedings of the ECAI 2008, 2008

C-NGINE: A Contextual Navigation Guide for Indoor Environments.
Proceedings of the Ambient Intelligence, European Conference, 2008

Distributed Defeasible Contextual Reasoning in Ambient Computing.
Proceedings of the Ambient Intelligence, European Conference, 2008

Distributed Reasoning with Conflicts in a Multi-Context Framework.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Default logic.
Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

Rule-based Policy Specification.
Proceedings of the Secure Data Management in Decentralized Systems, 2007

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.
IEEE Trans. Knowl. Data Eng., 2007

DR-BROKERING: A semantic brokering system.
Knowl.-Based Syst., 2007

A context-aware meeting alert using semantic web and rule technology.
IJMSO, 2007

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies.
Data Knowl. Eng., 2007

A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges.
Proceedings of the Ubiquitous Intelligence and Computing, 4th International Conference, 2007

A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Proof Explanation in the DR-DEVICE System.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

On RDF/S Ontology Evolution.
Proceedings of the Semantic Web, Ontologies and Databases, VLDB Workshop, 2007


The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Visual Stratification of Defeasible Logic Rule Bases.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Distributed AI for Ambient Intelligence: Issues and Approaches.
Proceedings of the Ambient Intelligence, European Conference, 2007

A System for Modal and Deontic Defeasible Reasoning.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence.
Proceedings of the Constructing Ambient Intelligence, 2007

Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting.
Proceedings of the Constructing Ambient Intelligence, 2007

Implementing Modal Extensions of Defeasible Logic for the Semantic Web.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Embedding defeasible logic into logic programming.
TPLP, 2006

A Defeasible Logic Reasoner for the Semantic Web.
Int. J. Semantic Web Inf. Syst., 2006

Defeasible reasoning: A discussion of some intuitions.
Int. J. Intell. Syst., 2006

The ramification problem in temporal databases: Changing beliefs about the past.
Data Knowl. Eng., 2006

A Classification of Ontology Change.
Proceedings of the SWAP 2006, 2006

On Generalizing the AGM Postulates.
Proceedings of the STAIRS 2006, 2006

Evolving Ontology Evolution.
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

Supporting Open and Closed World Reasoning on the Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Visualizing Defeasible Logic Rules for the Semantic Web.
Proceedings of the Semantic Web, 2006

2005
Preface.
J. Web Sem., 2005

Towards a general web rule language.
Int. J. Web Eng. Technol., 2005

Embedding Defeasible Logic into Logic Programming
CoRR, 2005

On Applying the AGM Theory to DLs and OWL.
Proceedings of the Semantic Web, 2005

Stable Model Theory for Extended RDF Ontologies.
Proceedings of the Semantic Web, 2005

Introduction to Semantic Web Ontology Languages.
Proceedings of the Reasoning Web, 2005

Merging and Aligning Ontologies in dl-Programs.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web.
Proceedings of the Advances in Informatics, 2005

A Deductive Semantic Brokering System.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

Updating DLs Using the AGM Theory: A Preliminary Study.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web.
Proceedings of the Proceedings, 2005

Semantic Web Fundamentals.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Argumentation Semantics for Defeasible Logic.
J. Log. Comput., 2004

A Semantic Brokering System for the Tourism Domain.
J. of IT & Tourism, 2004

Defeasible logic with dynamic priorities.
Int. J. Intell. Syst., 2004

The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

A Discussion of Some Intuitions of Defeasible Reasoning.
Proceedings of the Methods and Applications of Artificial Intelligence, 2004

Combining Description Logic and Defeasible Logic for the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

A Defeasible Logic Reasoner for the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

A System for Nonmonotonic Rules on the Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

DR-DEVICE: A Defeasible Logic System for the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Generalizing the AGM postulates: preliminary results and applications.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Defeasible Logic Programming System for the Web.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Web Ontology Language: OWL.
Proceedings of the Handbook on Ontologies, 2004

A semantic web primer.
MIT Press, ISBN: 978-0-262-01210-2, 2004

2003
Nonmonotonic Rules for the Semantic Web.
KI, 2003

Rules and Defeasible Reasoning on the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

On a Unifying Framework for Comparing Knowledge Representation Schemes.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

2002
On the dynamics of default reasoning.
Int. J. Intell. Syst., 2002

Nonmonotonic Rule Systems on Top of Ontology Layers.
Proceedings of the Semantic Web, 2002

Executable declarative business rules and their use in electronic commerce.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A Nonmonotonic Rule System using Ontologies.
Proceedings of the RuleML 2002, 2002

Defeasible logic with dynamic priorities.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Embedding Defeasible Logic into Logic Programs.
Proceedings of the Logic Programming, 18th International Conference, 2002

Defeasible Logic with Dynamic Priorities.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

2001
Representation results for defeasible logic.
ACM Trans. Comput. Log., 2001

Executable declarative business rules and their use in electronic commerce.
Int. Syst. in Accounting, Finance and Management, 2001

Efficient Defeasible Reasoning Systems.
International Journal on Artificial Intelligence Tools, 2001

Relating Defeasible and Default Logic.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000
Defeasible Logic versus Logic Programming without Negation as Failure.
J. Log. Program., 2000

Conservative extension concepts for nonmonotonic knowledge bases.
Int. J. Intell. Syst., 2000

A note on the refinement of ontologies.
Int. J. Intell. Syst., 2000

Representation results for defeasible logic
CoRR, 2000

A flexible framework for defeasible logics
CoRR, 2000

Argumentation Semantics for Defeasible Logics.
PRICAI, 2000

Modelling business rules using defeasible logic.
Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000

Efficient defeasible reasoning systems.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

A Family of Defeasible Reasoning Logics and its Implementation.
Proceedings of the ECAI 2000, 2000

A Flexible Framework for Defeasible Logics.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Special issue on verification and validation.
Knowl.-Based Syst., 1999

Splitting Finite Default Theories: A Comparison of Two Approaches.
Journal of Logic, Language and Information, 1999

Connections Between Default Reasoning and Partial Constraint Satisfaction.
Inf. Sci., 1999

Logical Methods for Computational Intelligence (Guest Editorial).
Inf. Sci., 1999

A tutorial on default logics.
ACM Comput. Surv., 1999

A Comparison of Sceptical NAF-Free Logic Programming Approaches.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Revising Nonmonotonic Theories: The Case of Defeasible Logic.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Issues in Intelligent Information Integration.
IMSA, 1999

What Is Default Reasoning Good For? Applications Revisited.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

On the Analysis of Regulations using Defeasible Rules.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

On the Dynamics of Default Reasoning.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998
A tutorial on default reasoning.
Knowledge Eng. Review, 1998

Studying properties of classes of default logics.
J. Exp. Theor. Artif. Intell., 1998

A note on the cumulativity of justified default logic.
J. Exp. Theor. Artif. Intell., 1998

The Role of Nonmonotonic Representations in Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering, 1998

Stratification for default logic variants.
Int. J. Intell. Syst., 1998

Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic.
Artif. Intell. Rev., 1998

Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events.
AI Magazine, 1998

A Strategy for Revising Default Theory Extensions.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Testing production system programs.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Revising default theories.
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Normal Forms for Defeasible Logic.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Study of Provability in Defeasible Logic.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997
A new methodology for teaching default reasoning.
SIGCSE Bulletin, 1997

Logical methods for computational intelligence.
Knowledge Eng. Review, 1997

A Correct Logic Programming Computation of Default Logic Extensions.
J. Autom. Reasoning, 1997

Reasoning with Incomplete and Changing Information: The CIN Project.
Inf. Sci., 1997

Verification and correctness issues for nonmonotonic knowledge bases.
Int. J. Intell. Syst., 1997

Intelligent Computer Tools for Supporting Human Negotiation: System and Research.
Proceedings of the Third Pacific Asia Conference on Information Systems, 1997

Stratification: The Computational Base of a System for Default Reasoning.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Specification Morphisms for Nonmonotonic Knowledge Systems.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Representation Results for Default Logics.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Stratification for Variants of Default Logic.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

A Comparison of Two Approaches to Splitting Default Theories.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Nonmonotonic reasoning.
MIT Press, ISBN: 978-0-262-01157-0, 1997

1996
Integrity and rule checking in nonmonotonic knowledge bases.
Knowl.-Based Syst., 1996

Operational Characterization of Extensions in Some Logics for Default Reasoning.
Inf. Sci., 1996

Exten: A System for Computing Default Logic Extensions.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Some approaches to reasoning with incomplete and changing information.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

Studying Properties of Classes of Default Logics - Preliminary Report.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Conservative Expansion Concepts for Default Theories.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

A System for Computing Constrained Default Logic Extensions.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

CIN: an intelligent information management toolkit.
IFIP World Conference on IT Tools, 1996

Default Reasoning and Belief Revision in the CIN Project.
Proceedings of the Practical Reasoning, 1996

A Comparative Survey of Default Logic Variants.
Proceedings of the Practical Reasoning, 1996

Computing Default Logic Extensions: An Implementation.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Verification and Correctness Issues for Nonmonotonic Knowledge Bases.
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

Priorities in Default Logic Revisited.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Structuring and modules for knowledge bases: motivation for a new model.
Knowl.-Based Syst., 1994

Modularity and Correctness for Logic Programs and Knowledge Bases.
International Journal of Software Engineering and Knowledge Engineering, 1994

Logic Programming and Default Logic.
International Journal on Artificial Intelligence Tools, 1994

Applying SLD-resolution to a class of non-Horn logic programs.
Bulletin of the IGPL, 1994

The Verification of Modules.
Formal Asp. Comput., 1994

New Proofs in Default Logic Theory.
Ann. Math. Artif. Intell., 1994

Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic.
Artif. Intell. Rev., 1994

Soundness and Completeness of a Logic Programming Approach to Default Logic.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules.
Proceedings of the SEKE'93, 1993

Computing Extensions of Nonmonotonic Logics.
SCAI, 1993

Computing Extensions of Default Logic - Preliminary Report.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

On the Verification of Modular Logical Knowledge Bases.
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

A Process Model for Default Logic and Its Realization in Logic Programming.
Proceedings of the Progress in Artificial Intelligence, 1993

Version Space Algorithms on Hierarchies with Exceptions.
Proceedings of the Progress in Artificial Intelligence, 1993

Abstract properties for the choice provability relation in nonmonotonic logics.
Proceedings of the Advances in Artificial Intelligence, 1993

1992
Modularity for Logical Knowledge Bases.
Proceedings of the SEKE'92, 1992

Modularity for Logic Programs.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

Logical Approaches to Structured Knowledge Bases.
Proceedings of the Artificial Intelligence V: Methodology, Systems, Applications, 1992

1991
Logic - a foundation for computer science.
International Computer Science Series, Addison-Wesley, ISBN: 978-0-201-56514-0, 1991

1989
Über die Verifikation modularer Programme.
PhD thesis, 1989

Bericht über den Workshop "Verifikation, Konstruktion und Synthese von Programmen".
KI, 1989

On the Verification of Modules.
Proceedings of the CSL '89, 1989

1983
TERMINATOR.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983


  Loading...