Reasoning about coalitional games
Artificial Intelligence
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
The Business of Ontology calls for a Formal Pragmatics
Proceedings of the 2008 conference on Formal Ontologies Meet Industry
Temporal Action Logic for Question Answering in an Adventure Game
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Conflicts between Relevance-Sensitive and Iterated Belief Revision
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Two Paradigms Are Better Than One, and Multiple Paradigms Are Even Better
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
Secure and Optimal Base Contraction in Graded Łukasiewicz Logics
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Qualitative robot localisation using information from cast shadows
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Architecture of the HeaRT hybrid rule engine
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
A new process knowledge representation approach using parameter flow chart
Computers in Industry
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Cell formation in group technology using constraint programming and Boolean satisfiability
Expert Systems with Applications: An International Journal
A functional knowledge model and application
ACIIDS'12 Proceedings of the 4th Asian conference on Intelligent Information and Database Systems - Volume Part I
Reasoning with qualitative velocity: towards a hybrid approach
HAIS'12 Proceedings of the 7th international conference on Hybrid Artificial Intelligent Systems - Volume Part I
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Semantic Mastering: content adaptation in the creative drama production workflow
Multimedia Tools and Applications
SemaKoDE: hybrid system for knowledge discovery in sensor-based smart environments
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Conflict, consistency and truth-dependencies in graph representations of answer set logic programs
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Supporting argumentation systems by graph representation and computation
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Rough Set Based Reasoning About Changes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the utility of landmarks in SAT based planning
Knowledge-Based Systems
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
τε2asp: implementing τε via answer set programming
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Formal verification of security preservation for migrating virtual machines in the cloud
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Image-scenarization: a computer-aided approach for agent-based analysis and design
Proceedings of the Winter Simulation Conference
A New Behavior Management Architecture for Language Faculty of an Agent for Task Delegation
International Journal of Intelligent Information Technologies
Designing an intelligent problems solving system based on knowledge about sample problems
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
A survey on resiliency assessment techniques for wireless sensor networks
Proceedings of the 11th ACM international symposium on Mobility management and wireless access
Towards a knowledge compilation map for heterogeneous representation languages
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Handling open knowledge for service robots
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Transactions on Computational Collective Intelligence IX
Ontological modelling of form and function for architectural design
Applied Ontology
| Hi-index | 0.00 |
Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field.This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily