Algernon—a tractable system for knowledge-representation
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Minds and Machines
Minds and Machines
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
Minds and Machines
Creativity, the Turing Test, and the (Better) Lovelace Test
Minds and Machines
Effective Computation by Humans and Machines
Minds and Machines
Toward a Formal Philosophy of Hypercomputation
Minds and Machines
Recursive calculus with membranes
Fundamenta Informaticae - Membrane computing
The Influence of Learning in the Evolution of Busy Beavers
Proceedings of the EvoWorkshops on Applications of Evolutionary Computing
Busy Beaver - The Influence of Representation
Proceedings of the Second European Workshop on Genetic Programming
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Proofs, program correctness, and software engineering
ACM SIGPLAN Notices
Representing von Neumann–Morgenstern Games in the Situation Calculus
Annals of Mathematics and Artificial Intelligence
Genetic programming with primitive recursion
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Proving as a Computable Procedure
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
From Logic to Physics: How the Meaning of Computation Changed over Time
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Accelerating machines: a review
International Journal of Parallel, Emergent and Distributed Systems
Minds and Machines
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Parts inference: closed and semi-closed partitioning graphs
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Centered logic: the role of entity centered sentence representation in natural language inferencing
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
OI-implication: soundness and refutation completeness
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Decidable fragments of many-sorted logic
Journal of Symbolic Computation
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
Levels of functional equivalence in reverse bioengineering
Artificial Life
Type inference for datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Kleene's amazing second recursion theorem
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
A note on accelerated turing machines
Mathematical Structures in Computer Science
Recursive Calculus with Membranes
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Hi-index | 0.00 |