Randy Goebel

Orcid: 0000-0002-0739-2946

Affiliations:
  • University of Alberta, Edmonton, Canada


According to our database1, Randy Goebel authored at least 197 papers between 1983 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Safety Implications of Explainable Artificial Intelligence in End-to-End Autonomous Driving.
CoRR, 2024

2023
Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task.
CoRR, 2023

A negation detection assessment of GPTs: analysis with the xNot360 dataset.
CoRR, 2023

LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System.
Proceedings of the Legal Knowledge and Information Systems, 2023

Explaining Autonomous Driving Actions with Visual Question Answering.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

How well do SOTA legal reasoning models support abductive reasoning?
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Summary of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

From Intermediate Representations to Explanations: Exploring Hierarchical Structures in NLP.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

The Sufficiency of Off-Policyness and Soft Clipping: PPO Is Still Insufficient according to an Off-Policy Measure.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021.
Rev. Socionetwork Strateg., 2022

Legal Information Retrieval and Entailment Based on BM25, Transformer and Semantic Thesaurus Methods.
Rev. Socionetwork Strateg., 2022

Preface of Special Issue on 8th Competition on Legal Information of Extraction and Entailment (COLIEE 2021).
Rev. Socionetwork Strateg., 2022

Improved approximation algorithms for non-preemptive multiprocessor scheduling with testing.
J. Comb. Optim., 2022

A local search 4/3-approximation algorithm for the minimum 3-path partition problem.
J. Comb. Optim., 2022

Path cover with minimum nontrivial paths and its application in two-machine flow-shop scheduling with a conflict graph.
J. Comb. Optim., 2022

Deep Temporal Modelling of Clinical Depression through Social Media Text.
CoRR, 2022

NeurIPS 2022 Competition: Driving SMARTS.
CoRR, 2022

Depression Symptoms Modelling from Social Media Text: A Semi-supervised Learning Approach.
CoRR, 2022

Neural Networks with Feature Attribution and Contrastive Explanations.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

DeepBlues@LT-EDI-ACL2022: Depression level detection modelling through domain specific BERT and short text Depression classifiers.
Proceedings of the Second Workshop on Language Technology for Equality, 2022

Semantic-Based Classification of Relevant Case Law.
Proceedings of the New Frontiers in Artificial Intelligence, 2022

COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment.
Proceedings of the New Frontiers in Artificial Intelligence, 2022

Locally Distributed Activation Vectors for Guided Feature Attribution.
Proceedings of the 29th International Conference on Computational Linguistics, 2022

2021
A Multi-Component Framework for the Analysis and Design of Explainable Artificial Intelligence.
Mach. Learn. Knowl. Extr., 2021

Explainable Artificial Intelligence for Autonomous Driving: A Comprehensive Overview and Field Guide for Future Research Directions.
CoRR, 2021

Towards safe, explainable, and regulated autonomous driving.
CoRR, 2021

A comprehensive empirical analysis on cross-domain semantic enrichment for detection of depressive language.
CoRR, 2021

STEP-EZ: Syntax Tree guided semantic ExPlanation for Explainable Zero-shot modeling of clinical depression symptoms from text.
CoRR, 2021

Basic and Depression Specific Emotion Identification in Tweets: Multi-label Classification Experiments.
CoRR, 2021

Minimizing total job completion time in MapReduce scheduling.
Comput. Ind. Eng., 2021

Driving SMARTS Competition at NeurIPS 2022: Insights and Outcome.
Proceedings of the NeurIPS 2022 Competition Track, 2021

Explainable Zero-Shot Modelling of Clinical Depression Symptoms from Text.
Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

DeepDup: Duplicate Question Detection in Community Question Answering.
Proceedings of the ICDLT 2021: 5th International Conference on Deep Learning Technologies, Qingdao, China, July 23, 2021

DISK-CSV: Distilling Interpretable Semantic Knowledge with a Class Semantic Vector.
Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 2021

2020
Approximation algorithms for the three-machine proportionate mixed shop scheduling.
Theor. Comput. Sci., 2020

Open-shop scheduling for unit jobs under precedence constraints.
Theor. Comput. Sci., 2020

A multi-component framework for the analysis and design of explainable artificial intelligence.
CoRR, 2020

COLIEE 2020: Methods for Legal Document Retrieval and Entailment.
Proceedings of the New Frontiers in Artificial Intelligence, 2020

The Application of Text Entailment Techniques in COLIEE 2020.
Proceedings of the New Frontiers in Artificial Intelligence, 2020

xxAI - Beyond Explainable Artificial Intelligence.
Proceedings of the xxAI - Beyond Explainable AI, 2020

RANCC: Rationalizing Neural Networks via Concept Clustering.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

Explainable Artificial Intelligence: Concepts, Applications, Research Challenges and Visions.
Proceedings of the Machine Learning and Knowledge Extraction, 2020

2019
From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa.
New Gener. Comput., 2019

An improved approximation algorithm for the minimum 3-path partition problem.
J. Comb. Optim., 2019

Augmenting Semantic Representation of Depressive Language: From Forums to Microblogs.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2019

A Summary of the COLIEE 2019 Competition.
Proceedings of the New Frontiers in Artificial Intelligence, 2019

A 21/16-Approximation for the Minimum 3-Path Partition Problem.
Proceedings of the 30th International Symposium on Algorithms and Computation, 2019

Combining Similarity and Transformer Methods for Case Law Entailment.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Statute Law Information Retrieval and Entailment.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Basic and Depression Specific Emotions Identification in Tweets: Multi-label Classification Experiments.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2019

A Multi-Task Learning Framework for Abstractive Text Summarization.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
An approximation scheme for minimizing the makespan of the parallel identical multi-stage flow-shops.
Theor. Comput. Sci., 2018

Rescheduling due to machine disruption to minimize the total weighted completion time.
J. Sched., 2018

On Generality and Knowledge Transferability in Cross-Domain Duplicate Question Detection for Heterogeneous Community Question Answering.
CoRR, 2018

Approximation algorithms for the three-machine proportionate mixed shop scheduling.
CoRR, 2018

Algorithms for Communication Scheduling in Data Gathering Network with Data Compression.
Algorithmica, 2018

COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment.
Proceedings of the New Frontiers in Artificial Intelligence, 2018

Approximation Algorithms for Two-Machine Flow-Shop Scheduling with a Conflict Graph.
Proceedings of the Computing and Combinatorics - 24th International Conference, 2018

Open-Shop Scheduling for Unit Jobs Under Precedence Constraints.
Proceedings of the Combinatorial Optimization and Applications, 2018

Explainable AI: The New 42?
Proceedings of the Machine Learning and Knowledge Extraction, 2018

Approximation Algorithms and a Hardness Result for the Three-Machine Proportionate Mixed Shop.
Proceedings of the Algorithmic Aspects in Information and Management, 2018

2017
An Introduction to Deep Visual Explanation.
CoRR, 2017

Using KL-divergence to focus Deep Visual Explanation.
CoRR, 2017

On rescheduling due to machine disruption while to minimize the total weighted completion time.
CoRR, 2017

Textual Entailment in Legal Bar Exam Question Answering Using Deep Siamese Networks.
Proceedings of the New Frontiers in Artificial Intelligence, 2017

Facial expression recognition using SVM classification on mic-macro patterns.
Proceedings of the 2017 IEEE International Conference on Image Processing, 2017

Two-step cascaded textual entailment for legal bar exam question answering.
Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

Overview of COLIEE 2017.
Proceedings of the COLIEE 2017. 4th Competition on Legal Information Extraction and Entailment, 2017

2016
Smoothed heights of tries and patricia tries.
Theor. Comput. Sci., 2016

Machine scheduling with a maintenance interval and job delivery coordination.
Optim. Lett., 2016

Submodular and supermodular multi-labeling, and vertex happiness.
CoRR, 2016

Question Answering of Bar Exams by Paraphrasing and Legal Text Analysis.
Proceedings of the New Frontiers in Artificial Intelligence, 2016

Why Visualization is an AI-complete Problem (and Why That Matters).
Proceedings of the 20th International Conference Information Visualisation, 2016

A PTAS for the Multiple Parallel Identical Multi-stage Flow-Shops to Minimize the Makespan.
Proceedings of the Frontiers in Algorithmics, 10th International Workshop, 2016

2015
Medicine and Health Care as a Data Problem: Will Computers Become Better Medical Doctors?
Proceedings of the Smart Health - Open Problems and Future Challenges, 2015

Recognition of Patient-Related Named Entities in Noisy Tele-Health Texts.
ACM Trans. Intell. Syst. Technol., 2015

A 0.5358-approximation for Bandpass-2.
J. Comb. Optim., 2015

Applying a Convolutional Neural Network to Legal Question Answering.
Proceedings of the New Frontiers in Artificial Intelligence, 2015

A Visualization-Analytics-Interaction Workflow Framework for Exploratory and Explanatory Search on Geo-located Search Data Using the Meme Media Digital Dashboard.
Proceedings of the 19th International Conference on Information Visualisation, 2015

Towards Integrative Machine Learning and Knowledge Extraction.
Proceedings of the Towards Integrative Machine Learning and Knowledge Extraction, 2015

A Lexicalized Tree Kernel for Open Information Extraction.
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, 2015

2014
Approximating the maximum multiple RNA interaction problem.
Theor. Comput. Sci., 2014

Approximating the minimum independent dominating set in perturbed graphs.
Theor. Comput. Sci., 2014

On the approximability of the exemplar adjacency number problem for genomes with gene repetitions.
Theor. Comput. Sci., 2014

Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15).
NII Shonan Meet. Rep., 2014

A New Database Visualization Framework for the Automatic Construction of Non-standard Charts: Re-creating the Chart of Napoleon's Russian Campaign of 1812.
Cartogr. Int. J. Geogr. Inf. Geovisualization, 2014

Legal Question Answering Using Ranking SVM and Syntactic/Semantic Similarity.
Proceedings of the New Frontiers in Artificial Intelligence, 2014

Towards the Identification of Consumer Trajectories in Geo-Located Search Data.
Proceedings of the 18th International Conference on Information Visualisation, 2014

The Challenge of Semantic Symmetry in Visualization.
Proceedings of the 18th International Conference on Information Visualisation, 2014

A Sketch of a Theory of Visualization.
Proceedings of the 5th International Conference on Information Visualization Theory and Applications, 2014

Model Selection for Semi-Supervised Clustering.
Proceedings of the 17th International Conference on Extending Database Technology, 2014

On the Smoothed Heights of Trie and Patricia Index Trees.
Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

2013
Whole genome Identity-by-Descent determination.
J. Bioinform. Comput. Biol., 2013

An approximation algorithm for the Bandpass-2 problem.
CoRR, 2013

Open Information Extraction with Tree Kernels.
Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, 2013

Answering Yes/No Questions in Legal Bar Exams.
Proceedings of the New Frontiers in Artificial Intelligence, 2013

The Role of Direct Manipulation of Visualizations in the Development and Use of Multi-level Knowledge Models.
Proceedings of the 17th International Conference on Information Visualisation, 2013

Approximation Algorithms for the Maximum Multiple RNA Interaction Problem.
Proceedings of the Combinatorial Optimization and Applications, 2013

Patient information extraction in noisy tele-health texts.
Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012
Adaptive-capacity and robust natural language watermarking for agglutinative languages.
Secur. Commun. Networks, 2012

An improved approximation algorithm for the complementary maximal strip recovery problem.
J. Comput. Syst. Sci., 2012

Summarization of Legal Texts with High Cohesion and Automatic Compression Rate.
Proceedings of the New Frontiers in Artificial Intelligence, 2012

Visualizing Community Centric Network Layouts.
Proceedings of the 16th International Conference on Information Visualisation, 2012

An Improved Approximation Algorithm for the Bandpass Problem.
Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2011
Size-constrained tree partitioning: Approximating the multicast k-tree routing problem.
Theor. Comput. Sci., 2011

The expansion continues: Stitching together the breadth of disciplines impinging on Artificial Intelligence.
Artif. Intell., 2011

Using Visual Information to Predict Lexical Preference.
Proceedings of the Recent Advances in Natural Language Processing, 2011

Strong Equivalence of Logic Programs with Abstract Constraint Atoms.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

What is Knowledge Visualization? Perspectives on an Emerging Discipline.
Proceedings of the 15th International Conference on Information Visualisation, 2011

2010
Detecting Communities in Social Networks Using Local Information.
Proceedings of the From Sociology to Computing in Social Networks - Theory, 2010

ONDOCS: Ordering Nodes to Detect Overlapping Community Structure.
Proceedings of the Data Mining for Social Network Data, 2010

The expanding breadth of artificial intelligence research.
Artif. Intell., 2010

William J. Raynor Jr., International Dictionary of Artificial Intelligence (2nd edition), Global Professional Publishing (2009) ISBN 978-0-85297-657-9 242 pp.
Artif. Intell., 2010

Application of the Tightness Continuum Measure to Chinese Information Retrieval.
Proceedings of the 2010 Workshop on Multiword Expressions: from Theory to Applications, 2010

Meerkat: Community Mining with Dynamic Social Networks.
Proceedings of the ICDMW 2010, 2010

Natural Language Watermarking Based on Syntactic Displacement and Morphological Division.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Speculative Abductive Reasoning for Hierarchical Agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Unsupervised mapping of sentences to biomedical concepts based on integrated information retrieval model and clustering.
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

The nature of noise in linguistic corpora.
Proceedings of the Fourth Workshop on Analytics for Noisy Unstructured Text Data, 2010

2009
Interactive Multimedia for Adaptive Online Education.
IEEE Multim., 2009

Most parsimonious haplotype allele sharing determination.
BMC Bioinform., 2009

Detecting Communities in Social Networks Using Max-Min Modularity.
Proceedings of the SIAM International Conference on Data Mining, 2009

A Continuum-Based Approach for Tightness Analysis of Chinese Semantic Units.
Proceedings of the 23rd Pacific Asia Conference on Language, Information and Computation, 2009

Web-Scale N-gram Models for Lexical Disambiguation.
Proceedings of the IJCAI 2009, 2009

Glen, Glenda or Glendale: Unsupervised and Semi-supervised Learning of English Noun Gender.
Proceedings of the Thirteenth Conference on Computational Natural Language Learning, 2009

Size-Constrained Tree Partitioning: A Story on Approximation Algorithm Design for the Multicast k-Tree Routing Problem.
Proceedings of the Combinatorial Optimization and Applications, 2009

Detecting Communities in Large Networks by Iterative Local Expansion.
Proceedings of the International Conference on Computational Aspects of Social Networks, 2009

A Visual Data Mining Approach to Find Overlapping Communities in Networks.
Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining, 2009

Local Community Identification in Social Networks.
Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining, 2009

2008
Identifying a few foot-and-mouth disease virus signature nucleotide strings for computational genotyping.
BMC Bioinform., 2008

An Unsupervised Approach to Cluster Web Search Results Based on Word Sense Communities.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Targeting Chinese Nominal Compounds in Corpora.
Proceedings of the International Conference on Language Resources and Evaluation, 2008

Folk Reducibility and AI-Complete Problems.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Self-Tutoring, Teaching and Testing: An Intelligent Process Analyzer.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

Discriminative Learning of Selectional Preference from Unlabeled Text.
Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing, 2008

Distributional Identification of Non-Referential Pronouns.
Proceedings of the ACL 2008, 2008

What Is the Role of the Semantic Layer Cake for Guiding the Use of Knowledge Representation and Machine Learning in the Development of the Semantic Web?
Proceedings of the Symbiotic Relationships between Semantic Web and Knowledge Engineering, 2008

2007
Selecting dissimilar genes for multi-class classification, an application in cancer subtyping.
BMC Bioinform., 2007

Nucleotide composition string selection in HIV-1 subtyping using whole genomes.
Bioinform., 2007

Mining Research Communities in Bibliographical Data.
Proceedings of the Advances in Web Mining and Web Usage Analysis, 2007

Visual Data Mining of Web Navigational Data.
Proceedings of the 11th International Conference on Information Visualisation, 2007

Visualizing Web Navigation Data with Polygon Graphs.
Proceedings of the 11th International Conference on Information Visualisation, 2007

Iterated Belief Contraction from First Principles.
Proceedings of the IJCAI 2007, 2007

Elements of a Learning Interface for Genre Qualified Search.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Constraint-Based Mining of Web Page Associations.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Selecting Genes with Dissimilar Discrimination Strength for Sample Class Prediction.
Proceedings of 5th Asia-Pacific Bioinformatics Conference, 2007

2006
Integrated 4D visualization of MRI and structure.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2006

Frequent Subsequence-Based Protein Localization.
Proceedings of the Data Mining for Biomedical Applications, PAKDD 2006 Workshop, 2006

Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction.
Proceedings of the Knowledge Science, 2006

Shape Tracking and Registration for 4D Visualization of MRI and Structure.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Perceptually Enhanced Multimedia Processing, Visualization and Transmission.
Proceedings of the Eigth IEEE International Symposium on Multimedia (ISM 2006), 2006

A Model-Free Greedy Gene Selection for Microarray Sample Class Prediction.
Proceedings of the 2006 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2006

Using Gene Clustering to Identify Discriminatory Genes with Higher Classification Accuracy.
Proceedings of the Sixth IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2006), 2006

2005
A Simulation-based Approach to Evaluating the Effectiveness of Navigation Compression Models.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Iterated Belief Change and the Levi Identity.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

2004
Iterated Belief Change.
Comput. Intell., 2004

Visualizing and Discovering Web Navigational Patterns.
Proceedings of the Seventh International Workshop on the Web and Databases, 2004

Developing a Database for Proteomic Analysis of Extracytosolic Plant Proteins.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

2003
WebKIV: Visualizing Structure and Navigation forWeb Mining Applications.
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

2002
WebFrame: In Pursuit of Computationally and Cognitively Efficient Web Mining.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2002

2001
Towards a Novel OLAP Interface for Distributed Data Warehouses.
Proceedings of the Data Warehousing and Knowledge Discovery, 2001

2000
An abductive approach to disjunctive logic programming.
J. Log. Program., 2000

Knowledge Representation, Belief Revision, and the Challenge of Optimality.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

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

Algorithms for handling soft constraints and their applications to staff scheduling problems.
Intell. Syst. Account. Finance Manag., 1999

A Constraint Optimization Framework for MultiAgent Anytime Scheduling.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998
Experience in Integrating AI and Constraint Programming Methods for Automated Yellow Pages Layout.
Künstliche Intell., 1998

Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Belief States as Default Theories: Studies in Non-Prioritized Belief Change.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Computational intelligence - a logical approach.
Oxford University Press, ISBN: 978-0-19-510270-3, 1998

1997
Consistency-Motivated Reason Maintenance in Hypothetical Reasoning.
New Gener. Comput., 1997

Disjunctive Logic Programming and Autoepistemic Logic.
Proceedings of the Logic Programming and Knowledge Representation, 1997

An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

Disjunctive Logic Programming and Possible Model Semantics (Invited Paper).
Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996
Curried least general generalization: A framework for higher order concept learning.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

The role of default representations in incremental learning.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

Anytime Default Inference.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

1995
An Introspective Framework for Paraconsistent Logic Programs.
Proceedings of the Logic Programming, 1995

An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.
Proceedings of the Deductive Databases and Logic Programming, 1995

Specifying Over-Constrained Problems in Default Logic.
Proceedings of the Over-Constrained Systems, 1995

1992
The Fourth International Symposium on Artificial Intelligence.
AI Mag., 1992

1991
Using crucial literals to select better theories.
Comput. Intell., 1991

A Message Passing Algorithm for Plan Recognition.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Meta-reasoning: An Incremental Compilation Approach.
Proceedings of the Seventh International Conference on Data Engineering, 1991

1990
Integrating probabilistic, taxonomic and causal knowledge in abductive diagnosis.
Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990

On the Efficiency of Logic-Based Diagnosis.
Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA, 1990

1989
A Sketch of Analogy as Reasoning with Equality Hypotheses.
Proceedings of the Analogical and Inductive Inference, 1989

1988
Exhuming the criticism of the logicist.
Comput. Intell., 1988

Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem.
Proceedings of the Non-Monotonic Reasoning, 1988

1986
Gracefully adding negation and disjunction to Prolog.
Proceedings of the Third International Conference on Logic Programming, 1986

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning.
Proceedings of the Third International Conference on Logic Programming, 1986

1985
On eliminating loops in Prolog.
ACM SIGPLAN Notices, 1985

The Design and Implementation of DLOG, a Prolog-based Knowledge Representation System.
New Gener. Comput., 1985

Concurrent Prolog in a Multiprocess Environment.
Proceedings of the 1985 Symposium on Logic Programming, 1985

Interpreting Descriptions in a Prolog-based Knowledge Representation System.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983
Data bases and knowledge representation for literary and linguistic studies.
Comput. Humanit., 1983


  Loading...