Helmut Prendinger

Orcid: 0000-0003-4654-9835

According to our database1, Helmut Prendinger authored at least 183 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Rethinking Self-Attention for Multispectral Object Detection.
IEEE Trans. Intell. Transp. Syst., November, 2024

Leveraging YOLO-World and GPT-4V LMMs for Zero-Shot Person Detection and Action Recognition in Drone Imagery.
CoRR, 2024

Transformer Models for Bitcoin Price Prediction.
Proceedings of the 2024 3rd International Conference on Frontiers of Artificial Intelligence and Machine Learning, 2024

2023
YOLO: You Only Look 10647 Times.
Proceedings of the 18th International Joint Conference on Computer Vision, 2023

2022
Decentralized Multi-Agent Path Finding for UAV Traffic Management.
IEEE Trans. Intell. Transp. Syst., 2022

Detecting Human Actions in Drone Images Using YoloV5 and Stochastic Gradient Boosting.
Sensors, 2022

Deep learning with RGB and thermal images onboard a drone for monitoring operations.
J. Field Robotics, 2022

Multi-Agent Path Finding in Unmanned Aircraft System Traffic Management With Scheduling and Speed Variation.
IEEE Intell. Transp. Syst. Mag., 2022

Evaluation of Fully Convolutional One-Stage Object Detection for Drone Detection.
Proceedings of the Image Analysis and Processing. ICIAP 2022 Workshops, 2022


2021
Implementation and Analytics of the Distributed Eco-Driving Simulation iCO<sub>2</sub>.
IEEE Access, 2021

Interface Design for Human-Machine Collaborations in Drone Management.
IEEE Access, 2021

2019
Improved Conflict Detection and Resolution for Service UAVs in Shared Airspace.
IEEE Trans. Veh. Technol., 2019

Remaining useful life estimation in aeronautics: Combining data-driven and Kalman filtering.
Reliab. Eng. Syst. Saf., 2019

Multi-class structural damage segmentation using fully convolutional networks.
Comput. Ind., 2019

Pre-Flight Conflict Detection and Resolution for UAV Integration in Shared Airspace: Sendai 2030 Model Case.
IEEE Access, 2019

UAV-Based Situational Awareness System Using Deep Learning.
IEEE Access, 2019

Multi-Agent Path Finding for UAV Traffic Management.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Evaluation of 2D and 3D interest management techniques in the distributed virtual environment DiVE.
Virtual Real., 2018

Deep learning for affective computing: Text-based emotion recognition in decision support.
Decis. Support Syst., 2018

Decision support with text-based emotion recognition: Deep learning for affective computing.
CoRR, 2018

Forecasting fault events for predictive maintenance using data-driven techniques and ARMA modeling.
Comput. Ind. Eng., 2018

IIIDYT at SemEval-2018 Task 3: Irony detection in English tweets.
Proceedings of The 12th International Workshop on Semantic Evaluation, 2018

Simulating Shared Airspace for Service UAVs with Conflict Resolution.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Speedup of deep learning ensembles for semantic segmentation using a model compression technique.
Comput. Vis. Image Underst., 2017

Comparative case study of life usage and data-driven prognostics techniques using aircraft fault messages.
Comput. Ind., 2017

Improving Sentiment Analysis with Document-Level Semantic Relationships from Rhetoric Discourse Structures.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Okutama-Action: An Aerial View Video Dataset for Concurrent Human Action Detection.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

2016
Intelligent Biohazard Training Based on Real-Time Task Recognition.
ACM Trans. Interact. Intell. Syst., 2016

Extending Real-Time Challenge Balancing to Multiplayer Games: A Study on Eco-Driving.
IEEE Trans. Comput. Intell. AI Games, 2016

News-based trading strategies.
Decis. Support Syst., 2016

An empirical study of workers' behavior in spatial crowdsourcing.
Proceedings of the Third International ACM SIGMOD Workshop on Managing and Mining Enriched Geo-Spatial Data, 2016

Native vs. non-native language fluency implications on multimodal interaction for interpersonal skills training.
Proceedings of the 18th ACM International Conference on Multimodal Interaction, 2016

Contributions of Affordances to Gamification.
Proceedings of the Workshop on Fictional Game Elements 2016 co-located with The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2016), 2016

2015
Attitude Sensing in Text Based on A Compositional Linguistic Approach.
Comput. Intell., 2015

Narrative Balance Management in an Intelligent Biosafety Training Application for Improving User Performance.
Int. J. Artif. Intell. Educ., 2015

Public Speaking Training with a Multimodal Interactive Virtual Audience Framework.
Proceedings of the 2015 ACM on International Conference on Multimodal Interaction, Seattle, WA, USA, November 09, 2015

A Discourse Search Engine Based on Rhetorical Structure Theory.
Proceedings of the Advances in Information Retrieval, 2015

2014
Intelligent Interface for Textual Attitude Analysis.
ACM Trans. Intell. Syst. Technol., 2014

Improving Learning in Business Simulations with an Agent-Based Approach.
J. Artif. Soc. Soc. Simul., 2014

iCO2: A Networked Game for Collecting Large-Scale Eco-Driving Behavior Data.
IEEE Internet Comput., 2014

AgriVillage: A Game to Foster Awareness of the Environmental Impact of Agriculture.
Comput. Entertain., 2014

A Cyber-Physical System Simulator for Risk-Free Transport Studies.
Comput. Aided Civ. Infrastructure Eng., 2014

An authoring tool for modeling the narrative flow in a virtual training application.
Proceedings of the Proceedings 1st Congreso de la Sociedad Española para las Ciencias del Videojuego, 2014

A cooperative multi-agent system to accurately estimate residential energy demand.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Accurate Household Occupant Behavior Modeling Based on Data Mining Techniques.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
An Experimental Space for Conducting Controlled Driving Behavior Studies based on a Multiuser Networked 3D Virtual Environment and the Scenario Markup Language.
IEEE Trans. Hum. Mach. Syst., 2013

Tokyo Virtual Living Lab: Designing Smart Cities Based on the 3D Internet.
IEEE Internet Comput., 2013

A Business Simulation with an Agent-Based Deliberative Model of Consumer Behaviour.
Proceedings of the Games and Learning Alliance - Second International Conference, 2013

iCO2: promoting eco-driving practice through multiuser challenge optimization.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

iCO2: multi-user eco-driving training environment based on distributed constraint optimization.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Cross-cultural assessment of automatically generated multimodal referring expressions in a virtual world.
Int. J. Hum. Comput. Stud., 2012

Fully Automated Generation of Question-Answer Pairs for Scripted Virtual Instruction.
Proceedings of the Intelligent Virtual Agents - 12th International Conference, 2012

Practicing eco-safe driving at scale.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

Everscape: the making of a disaster evacuation experience.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

2011
MPML3D: Scripting Agents for the 3D Internet.
IEEE Trans. Vis. Comput. Graph., 2011

SentiFul: A Lexicon for Sentiment Analysis.
IEEE Trans. Affect. Comput., 2011

Affect Analysis Model: novel rule-based approach to affect sensing from text.
Nat. Lang. Eng., 2011

Scenario Markup Language for authoring behavioral driver studies in 3D virtual worlds.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Scenario authoring for driver behavioral data collection in 3D virtual environments.
Proceedings of the 2011 IEEE International Conference on Virtual Environments, 2011

OpenEnergySim: a 3D internet based experimental framework for integrating traffic simulation and multi-user immersive driving.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Comparing Modes of Information Presentation: Text versus ECA and Single versus Two ECAs.
Proceedings of the Intelligent Virtual Agents - 11th International Conference, 2011

OpenBioSafetyLab: A Virtual World Based Biosafety Training Application for Medical Students.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Evaluating HILDA in the CODA Project: A Case Study in Question Generation Using Automatic Discourse Analysis.
Proceedings of the Question Generation, 2011

Creating interactive driver experiences with the scenario markup language.
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology, 2011

2010
Emotion Sensitive News Agent (ESNA): A system for user centric emotion sensing from the news.
Web Intell. Agent Syst., 2010

User study on AffectIM, an avatar-based Instant Messaging system employing rule-based affect sensing from text.
Int. J. Hum. Comput. Stud., 2010

HILDA: A Discourse Parser Using Support Vector Machine Classification.
Dialogue Discourse, 2010

EmoHeart: Conveying Emotions in Second Life Based on Affect Sensing from Text.
Adv. Hum. Comput. Interact., 2010

Fostering Agriculture Environmental Awareness.
Proceedings of the Second International Conference on Games and Virtual Worlds for Serious Applications, 2010

A Novel Three-Dimensional Collaborative Online Platform for Bio-molecular Modeling.
Proceedings of the Smart Graphics, 2010

A novel virtual world based HCI paradigm for multimedia scholarly communication.
Proceedings of the 18th International Conference on Multimedia 2010, 2010

AgriVillage: 3D multi-language internet game for fostering agriculture environmental awareness.
Proceedings of the MEDES '10: International ACM Conference on Management of Emergent Digital EcoSystems, 2010

Driving and traveller behavior studies using 3D Internet.
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

Microscopic simulation for virtual worlds with self-driving avatars.
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

Message Duplication Reduction in Dense Mobile Social Networks.
Proceedings of the 19th International Conference on Computer Communications and Networks, 2010

Participatory Mobile Social Network Simulation Environment.
Proceedings of IEEE International Conference on Communications, 2010

Recognition of Affect, Judgment, and Appreciation in Text.
Proceedings of the COLING 2010, 2010

iFeel_IM: innovative real-time communication system with rich emotional and haptic channels.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

Recognition of Fine-Grained Emotions from Text: An Approach Based on the Compositionality Principle.
Proceedings of the Modeling Machine Emotions for Realizing Intelligence, 2010

2009
Co-presence, collaboration, and control in environmental studies.
Virtual Real., 2009

Attentive interfaces for users with disabilities: eye gaze for intention and uncertainty estimation.
Univers. Access Inf. Soc., 2009

A Simulation Framework for Sensor-Based Systems in Second Life.
Presence Teleoperators Virtual Environ., 2009

AstroSim: Collaborative Visualization of an Astrophysics Simulation in Second Life.
IEEE Computer Graphics and Applications, 2009

Isrst: Generating Interesting Multimedia Stories on the Web.
Appl. Artif. Intell., 2009

Context Awareness using Environmental Sound Cues and Commonsense Knowledge.
Proceedings of the SIGMAP 2009, 2009

EML3D: An XML Based Markup Language for 3D Object Manipulation in Second Life.
Proceedings of the Smart Graphics, 9th International Symposium, SG 2009, Salamanca, 2009

Evaluating an Algorithm for the Generation of Multimodal Referring Expressions in a Virtual World: A Pilot Study.
Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

Opinion Elicitation in Second Life.
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2009

Enhancing Mediated Interpersonal Communication through Affective Haptics.
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2009

Compositionality Principle in Recognition of Fine-Grained Emotions from Text.
Proceedings of the Third International Conference on Weblogs and Social Media, 2009

Easy Living in the Virtual World: A Noble Approach to Integrate Real World Activities to Virtual Worlds.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Semantically distinct verb classes involved in sentiment analysis.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

iFeel_IM! Emotion Enhancing Garment for Communication in Affect Sensitive Instant Messenger.
Proceedings of the Human Interface and the Management of Information. Designing Information Environments, 2009

EmoHeart: Automation of Expressive Communication of Emotions in Second Life.
Proceedings of the Online Communities and Social Computing, 2009

Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars.
Proceedings of the Online Communities and Social Computing, 2009

From rhetorical structures to document structure: shallow pragmatic analysis for document engineering.
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures.
Proceedings of the Artificial Intelligence in Medicine, 2009

A Novel Discourse Parser Based on Support Vector Machine Classification.
Proceedings of the ACL 2009, 2009

Affective haptics in emotional communication.
Proceedings of the Affective Computing and Intelligent Interaction, 2009

SentiFul: Generating a reliable lexicon for sentiment analysis.
Proceedings of the Affective Computing and Intelligent Interaction, 2009

Learning models of speaker head nods with affective information.
Proceedings of the Affective Computing and Intelligent Interaction, 2009

Emotional gaming: win by emotion expression.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2009

A Linguistic Interpretation of the OCC Emotion Model for Affect Sensing from Text.
Proceedings of the Affective Information Processing, 2009

2008
Automatic Generation of Gaze and Gestures for Dialogues between Embodied Conversational Agents.
Int. J. Semantic Comput., 2008

Sentiment Assessment of Text by Analyzing Linguistic Features and Contextual Valence Assignment.
Appl. Artif. Intell., 2008

Extending MPML3D to Second Life.
Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

User Study of AffectIM, an Emotionally Intelligent Instant Messaging System.
Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

Generating Dialogues for Virtual Agents Using Nested Textual Coherence Relations.
Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

Creating and Scripting Second Life Bots Using MPML3D.
Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

Automatic Generation of Conversational Behavior for Multiple Embodied Virtual Characters: The Rules and Models behind Our System.
Proceedings of the Intelligent Virtual Agents, 8th International Conference, 2008

Phase-based gesture motion parametrization and transitions for conversational agents with MPML3D.
Proceedings of the 2nd International Conference on INtelligent TEchnologies for interactive enterTAINment, 2008

Linguistic Interpretation of Emotions for Affect Sensing from Text.
Proceedings of the Third International Joint Conference on Natural Language Processing, 2008

The hinge between input and output: understanding the multimodal input fusion results in an agent-based multimodal presentation system.
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008

Simulation of sensor-based tracking in Second Life.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Dynamic Bayesian network based interest estimation for visual attentive presentation agents.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

MPML3D: agent authoring language for virtual worlds.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2008

2007
Symmetric Multimodality Revisited: Unveiling Users' Physiological Activity.
IEEE Trans. Ind. Electron., 2007

Eye movements as indices for the utility of life-like interface agents: A pilot study.
Interact. Comput., 2007

A Novel Method for Automatically Generating Multi-Modal Dialogue from Text.
Int. J. Semantic Comput., 2007

Emotion Sensitive News Agent: An Approach Towards User Centric Emotion Sensing from the News.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

Highly Realistic 3D Presentation Agents with Visual Attention Capability.
Proceedings of the Smart Graphics, 7th International Symposium, 2007

Automatic Generation of Multi-Modal Dialogue from Text Based on Discourse Structure Analysis.
Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007

T2D: Generating Dialogues Between Virtual Agents Automatically from Text.
Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

An Expressive Avatar for Instant Messaging Endowed with Emotional Intelligence.
Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

Attentive Presentation Agents.
Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

Analysis of affect expressed through the evolving language of online communication.
Proceedings of the 12th International Conference on Intelligent User Interfaces, 2007

Narrowing the Social Gap among People Involved in Global Dialog: Automatic Emotion Detection in Blog Posts.
Proceedings of the First International Conference on Weblogs and Social Media, 2007

Automated generation of non-verbal behavior for virtual embodied characters.
Proceedings of the 9th International Conference on Multimodal Interfaces, 2007

Interest estimation based on dynamic bayesian networks for visual attentive presentation agents.
Proceedings of the 9th International Conference on Multimodal Interfaces, 2007

Recognition of Affect Conveyed by Text Messaging in Online Communication.
Proceedings of the Online Communities and Social Computing, 2007

Textual Affect Sensing for Sociable and Expressive Online Communication.
Proceedings of the Affective Computing and Intelligent Interaction, 2007

Rules of Emotions: A Linguistic Interpretation of an Emotion Model for Affect Sensing from Texts.
Proceedings of the Affective Computing and Intelligent Interaction, 2007

Assessing Sentiment of Text by Semantic Dependency and Contextual Valence Analysis.
Proceedings of the Affective Computing and Intelligent Interaction, 2007

Gaze-based infotainment agents.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2007

Graceful anytime interruptibility for virtual agents.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2007

Cascading Hand and Eye Movement for Augmented Reality Videoconferencing.
Proceedings of the IEEE Symposium on 3D User Interfaces, 2007

2006
Describing and Generating Multimodal Contents Featuring Affective Lifelike Agents with MPML.
New Gener. Comput., 2006

A Study in Users' Physiological Response to an Empathic Interface Agent.
Int. J. Humanoid Robotics, 2006

AutoSelect: What You Want Is What You Get: Real-Time Processing of Visual Attention and Affect.
Proceedings of the Perception and Interactive Technologies, 2006

MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language.
Proceedings of the Intelligent Virtual Agents, 6th International Conference, 2006

A cognitively based approach to affect sensing from text.
Proceedings of the 11th International Conference on Intelligent User Interfaces, 2006

Web presentation system using RST events.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
A creative abduction approach to scientific and knowledge discovery.
Knowl. Based Syst., 2005

Using human physiology to evaluate subtle expressivity of a virtual quizmaster in a mathematical game.
Int. J. Hum. Comput. Stud., 2005

Human Physiology as a Basis for Designing and Evaluating Affective Communication with Life-Like Characters.
IEICE Trans. Inf. Syst., 2005

The Empathic Companion: A Character-Based Interface That Addresses Users' Affective States.
Appl. Artif. Intell., 2005

Recognizing, Modeling, and Responding to Users' Affective States.
Proceedings of the User Modeling 2005, 2005

Estimating User Affect and Focus of Attention from Physiological Signals in Life-Like Character Based Interaction Scenarios.
Proceedings of the Lernen, 2005

A Chat System Based on Emotion Estimation from Text and Embodied Conversational Messengers.
Proceedings of the Entertainment Computing, 2005

Multi-user and ubiquitous user interfaces: (MU3I 2005).
Proceedings of the 10th International Conference on Intelligent User Interfaces, 2005

Understanding the effect of life-like interface agents through users' eye movements.
Proceedings of the 7th International Conference on Multimodal Interfaces, 2005

Evaluating the interaction with synthetic agents using attention and affect tracking.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Does non-verbal behavior of an embodied agent matter?
Proceedings of the 2005 International Conference on Active Media Technology, 2005

A chat system based on emotion estimation from text and embodied conversational messengers.
Proceedings of the 2005 International Conference on Active Media Technology, 2005

Empathy for Max [human-computer interaction].
Proceedings of the 2005 International Conference on Active Media Technology, 2005

Emotion Estimation and Reasoning Based on Affective Textual Interaction.
Proceedings of the Affective Computing and Intelligent Interaction, 2005

Evaluating Affective Feedback of the 3D Agent Max in a Competitive Cards Game.
Proceedings of the Affective Computing and Intelligent Interaction, 2005

2004
MPML and SCREAM: Scripting the Bodies and Minds of Life-Like Characters.
Proceedings of the Life-like characters - tools, affective functions, and applications., 2004

Introducing the Cast for Social Computing: Life-Like Characters.
Proceedings of the Life-like characters - tools, affective functions, and applications., 2004

MPML: a markup language for controlling the behavior of life-like characters.
J. Vis. Lang. Comput., 2004

Scripting and Evaluating Affective Interactions with Embodied Conversational Agents.
Künstliche Intell., 2004

Communicating emotions in online chat using physiological sensors and animated text.
Proceedings of the Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, 2004

Empathic Embodied Interfaces: Addressing Users' Affective State: Embodied Interfaces That Address Users' Physiological State.
Proceedings of the Affective Dialogue Systems, Tutorial and Research Workshop, 2004

2003
Persona Effect Revisited.
Proceedings of the Intelligent Agents, 4th International Workshop, 2003

The Storification of Chances.
Proceedings of the Chance Discovery, 2003

2002
Scripting Affective Communication with Life-Like Characters in Web-Based Interaction Systems.
Appl. Artif. Intell., 2002

Panel Discussion.
Appl. Artif. Intell., 2002

Scripting the Bodies and Minds of Life-Like Characters.
Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

SCREAM: scripting emotion-based agent minds.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Let's talk! Socially intelligent agents for language conversation training.
IEEE Trans. Syst. Man Cybern. Part A, 2001

Methodological Considerations on Chance Discovery.
Proceedings of the New Frontiers in Artificial Intelligence, 2001

Simulating Affective Communication with Animated Agents.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Social role awareness in animated agents.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning.
Int. J. Pattern Recognit. Artif. Intell., 2000

The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Emotion Expression Functions in Multimodal Presentation.
Proceedings of the Advances in Multimodal Interfaces, 2000

1999
Preparing a First-Order Knowledge Base for Fast Inference.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Qualifying the Expressivity/Efficiency Tradeoff: Reformation-Based Diagnosis.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1997
Approximate Reasoning.
Proceedings of the Progress in Artificial Intelligence, 1997

1996
Reasoning about Action and Change. A Dynamic Logic Approach.
J. Log. Lang. Inf., 1996

Modal Logic for Modelling Actions and Agents.
Proceedings of the Practical Reasoning, 1996

1995
Reasoning about Action in Dynamic Logic.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995


  Loading...