Predicate calculus and program semantics
Predicate calculus and program semantics
Frames in the space of situations (research note)
Artificial Intelligence
Updating logical databases
On the use of epistemic entrenchment in reasoning about action
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Epistemic aspects of databases
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Artificial Intelligence
A Discipline of Programming
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
Cicumscribing Features and Fluents
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Conditional Logic for Updating in the Possible Models Approach
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages
AI*IA '97 Proceedings of the 5th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Extending Knowledge Base Update into First-Order Knowledge Bases
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
The interactive knapsack problems are generalizations of the classical knapsack problem. Three different new NP-complete problems, interactive knapsack heuristic decision problem (IKHD), interactive knapsack decision problem (IKD) and multidimensional ...