The Language chi: Circuits, Computations and Classical Logic.
Steffen van BakelStéphane LengrandPierre LescannePublished in: ICTCS (2005)
Keyphrases
- classical logic
- intuitionistic logic
- logic programming
- modal logic
- programming language
- autoepistemic logic
- computer science and artificial intelligence
- possibilistic logic
- natural language
- rationality postulates
- valued logic
- answer set programming
- neural network
- possibility theory
- default logic
- revision operators
- constraint logic programming
- logic programs
- general purpose
- knowledge base
- artificial intelligence
- genetic algorithm