Patrick Doherty

Artif. Intell., January, 2024

2023

RGS<sup>øplus</sup>: RDF graph synchronization for collaborative robotics.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., October, 2023

Collaborative Qualitative Environment Mapping.

[BibT_eX]

[DOI]

Proceedings of the AI 2023: Advances in Artificial Intelligence, 2023

2022

A landscape and implementation framework for probabilistic rough sets using ProbLog.

[BibT_eX]

[DOI]

Inf. Sci., 2022

2021

Rough set reasoning using answer set programs.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2021

Polygon Area Decomposition Using a Compactness Metric.

[BibT_eX]

[DOI]

CoRR, 2021

Router and gateway node placement in wireless mesh networks for emergency rescue scenarios.

[BibT_eX]

[DOI]

Auton. Intell. Syst., 2021

WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation.

[BibT_eX]

[DOI]

Auton. Intell. Syst., 2021

Hastily formed knowledge networks and distributed situation awareness for collaborative robotics.

[BibT_eX]

[DOI]

Auton. Intell. Syst., 2021

2020

Rough Forgetting.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2020

2019

Real-Time Robotic Search using Hierarchical Spatial Point Processes.

[BibT_eX]

[DOI]

CoRR, 2019

Real-Time Robotic Search using Structural Spatial Point Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

Router Node Placement in Wireless Mesh Networks for Emergency Rescue Scenarios.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Evaluation of Human Body Detection Using Deep Neural Networks with Highly Compressed Videos for UAV Search and Rescue Missions.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Deep RL for autonomous robots: limitations and safety challenges.

[BibT_eX]

[DOI]

Olov Andersson

Proceedings of the 27th European Symposium on Artificial Neural Networks, 2019

2018

Keynote speeches: Intelligent collaborative systems and their application to emergency rescue scenario.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.

[BibT_eX]

[DOI]

Oleg Burdakov

Ann. Oper. Res., 2017

A Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Systems Engineering, 2017

Bridging Reactive and Control Architectural Layers for Cooperative Missions Using VTOL Platforms.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Systems Engineering, 2017

Deep Learning Quadcopter Control via Risk-Aware Active Learning.

[BibT_eX]

[DOI]

Olov Andersson

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.

[BibT_eX]

[DOI]

Acta Informatica, 2016

A Modeling Framework for Troubleshooting Automotive Systems.

[BibT_eX]

[DOI]

Håkan Warnquist

Appl. Artif. Intell., 2016

Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Safety, 2016

Area coverage with heterogeneous UAVs using scan patterns.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Safety, 2016

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

An Entailment Procedure for Kleene Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2016

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).

[BibT_eX]

[DOI]

Haroldo F. de Campos Velho

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV.

[BibT_eX]

[DOI]

Proceedings of the Advances in Visual Computing - 12th International Symposium, 2016

Collaborative 3D Reconstruction Using Heterogeneous UAVs: System and Experiments.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Experimental Robotics, 2016

Model-predictive control with stochastic collision avoidance using Bayesian policy optimization.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

An image matching system for autonomous UAV navigation based on neural network.

[BibT_eX]

[DOI]

José R. G. Braga

Gianpaolo Conte

Elcio H. Shiguemori

Proceedings of the 14th International Conference on Control, 2016

2015

Stability, Supportedness, Minimality and Kleene Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization.

[BibT_eX]

[DOI]

Olov Andersson

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance.

[BibT_eX]

[DOI]

Oleg Burdakov

Proceedings of the Examining Robustness and Vulnerability of Networked Systems, 2014

Incremental Dynamic Controllability in Cubic Worst-Case Time.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming.

[BibT_eX]

[DOI]

Marc van Zee

John-Jules Ch. Meyer

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Stream-Based Hierarchical Anchoring.

[BibT_eX]

[DOI]

Künstliche Intell., 2013

Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Robotics, Temporal Logic and Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs.

[BibT_eX]

[DOI]

Håkan Warnquist

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Incremental Dynamic Controllability Revisited.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2012

Temporal Composite Actions with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

Reports of the AAAI 2011 Spring Symposia.

[BibT_eX]

[DOI]

AI Mag., 2011

A delegation-based cooperative robotic framework.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Robotics and Biomimetics, 2011

Contextual Coalitional Games.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Tractable model checking for fragments of higher-order coalition logic.

[BibT_eX]

[DOI]

Barbara Dunin-Keplicz

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Organizing Committee.

[BibT_eX]

[DOI]

Ernest Davis

Esra Erdem

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Optimal placement of UV-based communications relay nodes.

[BibT_eX]

[DOI]

J. Glob. Optim., 2010

Relay Positioning for Unmanned Aerial Vehicle Surveillance.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2010

Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2010

On the Correctness of Rough-Set Based Approximate Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2010

Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

A Distributed Task Specification Language for Mixed-Initiative Delegation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Generating UAV communication networks for monitoring and surveillance.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Control, 2010

Automated planning for collaborative UAV systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Control, 2010

Federated DyKnow, a distributed information fusion system for collaborative UAVs.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Control, 2010

Iterative Bounding LAO.

[BibT_eX]

[DOI]

Håkan Warnquist

Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning Support for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning in DyKnow.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Research with Collaborative Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

A Delegation-Based Architecture for Collaborative Robotics.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

Choosing Path Replanning Strategies for Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

Stream-Based Middleware Support for Embedded Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Embedded Reasoning, 2010

2009

Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information.

[BibT_eX]

[DOI]

Gianpaolo Conte

EURASIP J. Adv. Signal Process., 2009

A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2009

Positioning unmanned aerial vehicles as communication relays for surveillance tasks.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems V, University of Washington, Seattle, USA, June 28, 2009

A stream-based hierarchical anchoring framework.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

2008

Temporal Action Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Knowledge Processing Middleware.

[BibT_eX]

[DOI]

Proceedings of the Simulation, 2008

The Observer Algorithm for Visibility Approximation.

[BibT_eX]

[DOI]

Per-Magnus Olsson

Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Towards Automatic Model Generation by Optimization.

[BibT_eX]

[DOI]

Per Nyblom

Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Deductive Planning with Inductive Loops.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

DyKnow federations: Distributing and merging information among UAVs.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Fusion, 2008

Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

A Temporal Logic-Based Planning and Execution Monitoring System.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Logical Agents for Language and Action.

[BibT_eX]

[DOI]

Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference, 2008

Temporal Action Logic for Question Answering in an Adventure Game.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence 2008, 2008

2007

Communication between agents with heterogeneous perceptual capabilities.

[BibT_eX]

[DOI]

Inf. Fusion, 2007

A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Dynamics of Approximate Information Fusion.

[BibT_eX]

[DOI]

Barbara Dunin-Keplicz

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework.

[BibT_eX]

[DOI]

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

From images to traffic behavior - A UAV tracking and monitoring application.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Fusion, 2007

Towards a Delegation Framework for Aerial Robotic Mission Scenarios.

[BibT_eX]

[DOI]

John-Jules Ch. Meyer

Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization.

[BibT_eX]

[DOI]

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Deductive Planning with Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Probabilistic roadmap based path planning for an autonomous unmanned helicopter.

[BibT_eX]

[DOI]

Per Olof Pettersson

J. Intell. Fuzzy Syst., 2006

A knowledge processing middleware framework and its relation to the JDL data fusion model.

[BibT_eX]

[DOI]

J. Intell. Fuzzy Syst., 2006

Approximate databases: a support tool for approximate reasoning.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2006

A Flexible Runtime System for Image Processing in a Distributed Computational Environment for an Unmanned Aerial Vehicle.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2006

Artificial Intelligence and Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2006, 2006

06231 Executive Summary - Towards Affordance-based Robot Control.

[BibT_eX]

[DOI]

Proceedings of the Towards Affordance-Based Robot Control, 05.06. - 09.06.2006, 2006

06231 Abstracts Collection - Towards Affordance-Based Robot Control.

[BibT_eX]

[DOI]

Proceedings of the Towards Affordance-Based Robot Control, 05.06. - 09.06.2006, 2006

Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Knowledge Representation Techniques - A Rough Set Approach

[BibT_eX]

[DOI]

Studies in Fuzziness and Soft Computing 202, Springer, ISBN: 978-3-540-33518-4, 2006

2005

Knowledge Representation and Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Similarity, Approximations and Vagueness.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2005

2004

Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge.

[BibT_eX]

Proceedings of the Rough-Neural Computing: Techniques for Computing with Words., 2004

Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases.

[BibT_eX]

Jaroslaw Kachniarz

Proceedings of the Rough-Neural Computing: Techniques for Computing with Words., 2004

IJCAI '03 Workshop.

[BibT_eX]

[DOI]

Ubbo Visser

Künstliche Intell., 2004

DyKnow: An approach to middleware for knowledge processing.

[BibT_eX]

[DOI]

J. Intell. Fuzzy Syst., 2004

Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating.

[BibT_eX]

[DOI]

Ubbo Visser

AI Mag., 2004

On the Correspondence between Approximations and Similarity.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2004

DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Advanced Research with Autonomous Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Towards a Logical Analysis of Biochemical Pathways.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Towards a Logical Analysis of Biochemical Reactions.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation.

[BibT_eX]

[DOI]

Proceedings of the Distributed Autonomous Robotic Systems 6, 2004

2003

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Towards a Framework for Approximate Ontologies.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2003 AAAI Spring Symposium Series.

[BibT_eX]

[DOI]

AI Mag., 2003

Information Granules for Intelligent Knowledge Structures.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2003

Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Tolerance Spaces and Approximative Representational Structures.

[BibT_eX]

[DOI]

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002

CAKE: A Computer-Aided Knowledge Engineering Technique.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Integrating a Computational Model and a Run Time System for Image Processing on a UAV.

[BibT_eX]

[DOI]

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

2001

TALplanner: A Temporal Logic-Based Planner.

[BibT_eX]

[DOI]

AI Mag., 2001

Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

The PMA and Relativizing Minimal Change for Action Update.

[BibT_eX]

[DOI]

Ewa Madalinska-Bugaj

Fundam. Informaticae, 2000

Tackling the Qualification Problem Using Fluent Dependency Constraints.

[BibT_eX]

[DOI]

Comput. Intell., 2000

TALplanner: A temporal logic based forward chaining planner.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Extending TALplanner with Concurrency and Resources.

[BibT_eX]

Patrik Haslum

Proceedings of the ECAI 2000, 2000

Efficient Reasoning Using the Local Closed-World Assumption.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2000

1999

Declarative PTIME Queries for Relational Databases using Quantifier Elimination.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Meta-Queries on Deductive Databases.

[BibT_eX]

[DOI]

Jaroslaw Kachniarz

Fundam. Informaticae, 1999

TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Computing MPMA Updates Using Dijkstra's Semantics.

[BibT_eX]

[DOI]

Ewa Madalinska-Bugaj

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

General Domain Circumscription and its Effective Reductions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1998

TAL: Temporal Action Logics Language Specification and Tutorial.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Delayed Effects of Actions.

[BibT_eX]

Lars Karlsson

Joakim Gustafsson

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Computing Circumscription Revisited: A Reduction Algorithm.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Preferential Action Semantics (Preliminary Report).

[BibT_eX]

[DOI]

John-Jules Ch. Meyer

Proceedings of the Formal Models of Agents, 1997

1996

A Reduction Result for Circumscribed Semi-Horn Formulas.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Embracing Occlusion in Specifying the Indirect Effects of Actions.

[BibT_eX]

Joakim Gustafsson

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Explaining Explanation Closure.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

General Domain Circumscription in its First-Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

1995

Computing Circumscription Revisited: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Cicumscribing Features and Fluents.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

Reasoning about Action and Change Using Occlusion.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Fuzzy if-then-Unless Rules and their Implementation.

[BibT_eX]

[DOI]

Dimiter Driankov

Hans Hellendoorn

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1993

1992

NML3. A Non-Monotonic Logic with Explicit Defaults.

[BibT_eX]

J. Appl. Non Class. Logics, 1992

Defaults as First-Class Citizens.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Multiple-Valued Logic, 1992

FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1990

NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1990

1989

A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment.

[BibT_eX]