Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Artificial Intelligence
Efficient algorithms for combinatorial problems on graphs with bounded, decomposability—a survey
BIT - Ellis Horwood series in artificial intelligence
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Artificial Intelligence
Controlling recursive inference
Artificial Intelligence
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Journal of Automated Reasoning
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Optimization of large join queries
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Expert systems for configuration at Digital: XCON and beyond
Communications of the ACM
The SQL standard: a complete guide reference
The SQL standard: a complete guide reference
Ontic: a knowledge representation system for mathematics
Ontic: a knowledge representation system for mathematics
Readings in uncertain reasoning
Readings in uncertain reasoning
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Fundamental concepts of qualitative probabilistic networks
Artificial Intelligence
An analysis of first-order logics of probability
Artificial Intelligence
Initialization for the method of conditioning in Bayesian belief networks
Artificial Intelligence
Finding optimal derivation in redundant knowledge bases
Artificial Intelligence
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Probabilistic similarity networks
Probabilistic similarity networks
Enabling technology for knowledge sharing
AI Magazine
Approximating probabilistic inference in Bayesian belief networks is NP-hard
Artificial Intelligence
A hierarchy of tractable satisfiability problems
Information Processing Letters
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Extracting Refined Rules from Knowledge-Based Neural Networks
Machine Learning
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
On the hardness of approximate reasoning
Artificial Intelligence
PALO: a probabilistic hill-climbing algorithm
Artificial Intelligence
From statistical knowledge bases to degrees of belief
Artificial Intelligence
A statistical approach to adaptive problem solving
Artificial Intelligence
Resource-bounded reasoning in intelligent systems
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
On state-space abstraction for anytime evaluation of Bayesian networks
ACM SIGART Bulletin
A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
Probabilistic independence networks for hidden Markov probability models
Neural Computation
The complexity of concept languages
Information and Computation
An optimal approximation algorithm for Bayesian inference
Artificial Intelligence
Approximating Bayesian Belief Networks by Arc Removal
IEEE Transactions on Pattern Analysis and Machine Intelligence
Machine Learning - Special issue on learning with probabilistic representations
Factorial Hidden Markov Models
Machine Learning - Special issue on learning with probabilistic representations
Computational intelligence: a logical approach
Computational intelligence: a logical approach
Approximating MAPs for belief networks is NP-hard and other theorems
Artificial Intelligence
Bucket elimination: a unifying framework for probabilistic inference
Learning in graphical models
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Principles and Practice of Constraint Programming-CP '96: Second International Conference, CP 96, Cambridge, Ma, U. S. A., August 1996: Proceedings
Machine Learning
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A Practical Guide to Knowledge Acquisition
A Practical Guide to Knowledge Acquisition
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
Constructing Efficient Belief Network Structures With Expert Provided Information
IEEE Transactions on Knowledge and Data Engineering
Explanation-Based Generalization: A Unifying View
Machine Learning
Probabilistic Logic Programming and Bayesian Networks
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Proceedings of the 8th International Conference on Automated Deduction
Operational Rationality through Compilation of Anytime Algorithms
Operational Rationality through Compilation of Anytime Algorithms
Learning probabilities for noisy first-order rules
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Logarithmic-time updates and queries in probabilistic networks
Journal of Artificial Intelligence Research
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Evaluating las vegas algorithms: pitfalls and remedies
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
A standard approach for optimizing belief network inference using query DAGs
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
A scheme for approximating probabilistic inference
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Learning Bayesian nets that perform well
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Query DAGs: a practical paradigm for implementing belief-network inference
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Topological parameters for time-space tradeoff
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Computing upper and lower bounds on likelihoods in intractable networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Optimal Monte Carlo estimation of belief network inference
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Learning and exploiting context in agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Learning Bayesian networks from data: an information-theory based approach
Artificial Intelligence
Making assumptions in the automated derivation
Information Sciences: an International Journal
A fuzzy reasoning scheme for context sharing decision making
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Regnet: an infrastructure for regulatory information management and compliance assistance
dg.o '02 Proceedings of the 2002 annual national conference on Digital government research
Towards an integrating architecture for competence management
Computers in Industry
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
Integrating learning and inference in multi-agent systems using cognitive context
MABS'06 Proceedings of the 2006 international conference on Multi-agent-based simulation VII
Developing artificial agents worthy of trust: "Would you buy a used car from this artificial agent?"
Ethics and Information Technology
Bayesian error-bars for belief net inference
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Context in social simulation: why it can't be wished away
Computational & Mathematical Organization Theory
| Hi-index | 0.00 |
Many tasks require “reasoning”—i.e., deriving conclusions from a corpus of explicitly stored information—to solve their range of problems. An ideal reasoning system would produce all-and-only the correct answers to every possible query, produce answers that are as specific as possible, be expressive enough to permit any possible fact to be stored and any possible query to be asked, and be (time) efficient. Unfortunately, this is provably impossible: as correct and precise systems become more expressive, they can become increasingly inefficient, or even undecidable. This survey first formalizes these hardness results, in the context of both logic- and probability-based reasoning, then overviews the techniques now used to address, or at least side-step, this dilemma.