Gelfond, Michael - Department of Computer Science, Texas Tech University

• Texas Tech University Knowledge Representation Group Prolog interpreter for definite
• Representing Action and Change by Logic Programs
• Texas Tech University Knowledge Representation Group The Syntax and Semantics of
• University of Texas at El Paso Knowledge Representation Group Logic Programming and Reasoning
• Texas Tech University Knowledge Representation Group General Theory of Action and Change
• University of Texas at El Paso Knowledge Representation Group Logic Based Approach to AI
• Introduction When AI is mentioned, the first thing that often pops into people's heads is
• Towards a Theory of Elaboration Tolerance: Logic Programming Approach
• CS3383, THEORY of AUTOMATA Instructor: Michael Gelfond
• Texas Tech University Knowledge Representation Group Answer set programming (asp)
• Under consideration for publication in Theory and Practice of Logic Programming 1 Diagnostic reasoning with A-Prolog
• Texas Tech University Knowledge Representation Group Using the Action Theories.
• Texas Tech University Knowledge Representation Group INTRODUCTION
• From Functional Specifications to Logic Programs
• Texas Tech University Knowledge Representation Group Answer Set Programming and
• Texas Tech University Knowledge Representation Group Answer set programming (asp)
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents
• Texas Tech University Knowledge Representation Group REASONING IN DYNAMIC
• Texas Tech University Knowledge Representation Group Default Reasoning
• Texas Tech University Knowledge Representation Group REASONING IN DYNAMIC
• Classical Negation in Logic Programs and Disjunctive Databases
• Texas Tech University Knowledge Representation Group Lists in Prolog
• Instructor: Michael Gelfond Email Address: mgelfond@cs.ttu.edu
• Representing Actions: Laws, Observations and Hypotheses
• Texas Tech University Knowledge Representation Group Prolog interpreter: Unification
• Reasoning in Open Domains Michael Gelfond
• Texas Tech University Knowledge Representation Group Parts Inventory Database
• Texas Tech University Knowledge Representation Group Using the Action Theories.
• Texas Tech University Knowledge Representation Group The Syntax and Semantics of
• Representing Knowledge in A-Prolog Michael Gelfond
• REASONING AGENTS IN DYNAMIC DOMAINS Chitta Baral
• Reasoning with Prioritized Defaults Michael Gelfond and Tran Cao Son
• Texas Tech University Knowledge Representation Group Creating a Knowledge Base
• Texas Tech University Knowledge Representation Group INTRODUCTION
• Logic Programming and Knowledge Representation | the A-Prolog perspective.
• Logic Programming and Reasoning with Incomplete Information
• Logic Programming and Knowledge Representation Chitta Baral and Michael Gelfond
• Texas Tech University Knowledge Representation Group Creating a Knowledge Base
• Reasoning about Effects of Concurrent Actions Chitta Baral and Michael Gelfond
• Texas Tech University Knowledge Representation Group Default Reasoning
• CS5368, Intelligent Systems, Spring2011 Instructor: Michael Gelfond
• Texas Tech University Knowledge Representation Group General Theory of Action and Change
• Texas Tech University Knowledge Representation Group Computing Stable Models
• CS5383, THEORY of AUTOMATA, Fall 2011 Instructor: Michael Gelfond
• CS1382 Discrete Computational Structures Spring 2012