Self-improvement in problem-solving
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
APL '86 Proceedings of the international conference on APL
ACM SIGART Bulletin
ACM SIGSMALL/PC Notes
A uniform architecture for rule-based meta-reasoning and representation: a case study
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
An artifical intelligence course in a liberal arts program
ACM SIGCSE Bulletin
Use of structure-based models in the development of expert systems
ACM SIGART Bulletin
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
The design of an attorney's statistical consultant
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Representing knowledge with functions and Boolean arrays
IBM Journal of Research and Development
Domain description grammar: application of linguistic semantics
ACM SIGSOFT Software Engineering Notes
State Constraints and Pathwise Decomposition of Programs
IEEE Transactions on Software Engineering
A performance evaluation on caching mechanisms for a persistent object system
ACM SIGPLAN OOPS Messenger
Ambiguous noun phrases in logical form
Computational Linguistics
Connect 4 as a problem in artificial intelligence and robotics
ACM SIGCSE Bulletin
The reconstruction engine: a computer implementation of the comparative method
Computational Linguistics - Special issue on computational phonology
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Representation, Coherence and Inference
Artificial Intelligence Review
Combination calculi for uncertainty reasoning: representing uncertainty using distributions
Annals of Mathematics and Artificial Intelligence
Editorial: Alan Turing and Artificial Intelligence
Journal of Logic, Language and Information
Animals, Zombanimals, and the Total Turing Test
Journal of Logic, Language and Information
An Intelligent Visualization Agent for Simulation-Based Decision Support
IEEE Computational Science & Engineering
An Expectation-Driven Response Understanding Paradigm
IEEE Transactions on Knowledge and Data Engineering
An Efficient Path Computation Model for Hierarchically Structured Topographical Road Maps
IEEE Transactions on Knowledge and Data Engineering
A Language for Construction of Belief Networks
IEEE Transactions on Pattern Analysis and Machine Intelligence
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Abduction with Penalization in Logic Programming
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Control of an Extensible Query Optimizer: A Planning-Based Approach
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Computational Linguistics
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Inheritance in hierarchical relational structures
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Detection of Redundant Code Using R2D2
Software Quality Control
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
University of Manitoba: description of the NUBA system as used for MUC-5
MUC5 '93 Proceedings of the 5th conference on Message understanding
Sussex University: description of the Sussex system used for MUC-5
MUC5 '93 Proceedings of the 5th conference on Message understanding
Theory and Practice of Logic Programming
Computer Music Journal
Story understanding through multi-representation model construction
HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
ICLS '96 Proceedings of the 1996 international conference on Learning sciences
Using redundant speech and handwriting for learning new vocabulary and understanding abbreviations
Proceedings of the 8th international conference on Multimodal interfaces
Teaching artificial intelligence using web-based applications
Journal of Computing Sciences in Colleges
A hybrid system of abductive tactical decision making
International Journal of Hybrid Intelligent Systems
An external-memory depth-first search algorithm for general grid graphs
Theoretical Computer Science
Cross-domain matching for automatic tag extraction across redundant handwriting and speech events
Proceedings of the 2007 workshop on Tagging, mining and retrieval of human related activity information
Representation Levels Within Knowledge Representation
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
A probabilistic plan recognition algorithm based on plan tree grammars
Artificial Intelligence
A domain-independent algorithm for plan adaptation
Journal of Artificial Intelligence Research
Six topics in search of a parser: an overview of AI language research
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Representation and analysis of electrical circuits in a deductive system
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Integrating knowledge-based system and neural network techniques for robotic skill acquisition
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The dynamics of action selection
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Semantics and complexity of abduction from default theories
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Computational complexity of hypothesis assembly
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Resolving plan ambiguity for cooperative response generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Parsing = parsimonious covering?: abduction in logical form generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
AILP abductive inductive logic programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Intelligence Dynamics: a concept and preliminary experiments for open-ended learning agents
Autonomous Agents and Multi-Agent Systems
External-memory depth-first search algorithm for solid grid graphs
Information Processing Letters
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
International Journal of Intelligent Information and Database Systems
An algebraic approach to conflict resolution planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On the role of coherence in abductive explanation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Understanding natural language with diagrams
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Changing the rules: a comprehensive approach to theory refinement
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
On the NP-ardness of blocks world
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Complexity results for blocks-world planning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
The smart, the intelligent and the wise: roles and values of interactive technologies
Proceedings of the First International Conference on Intelligent Interactive Technologies and Multimedia
Abductive plan recognition by extending Bayesian logic programs
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part II
Activity Recognition for Dynamic Multi-Agent Teams
ACM Transactions on Intelligent Systems and Technology (TIST)
A new expert system for pediatric respiratory diseases by using neural networks
AICT'11 Proceedings of the 2nd international conference on Applied informatics and computing theory
A new model of plan recognition
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Learning in BDI multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
The role of essential explanation in abduction
Artificial Intelligence in Medicine
Information Resources Management Journal
Hi-index | 0.00 |