Propositional satisfiability in answer-set programming
Propositional theories are strongly equivalent to logic programs
Pruning Isomorphic Structural Sub-problems in Configuration
Pruning Search Space in Defeasible Argumentation
Prunnig Algorithm of Generation a Minimal Set of Rule Reducts Based on Rough Set Theory
Qualitative Analysis of Correspondence for Experimental Algorithmics
Qualitative Belief Conditioning Rules (QBCR)
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity
Qualitative reasoning methods for CELSS modeling
Qualitative System Identification from Imperfect Data
Quantified Conditional Logics are Fragments of HOL
Quantified Multimodal Logics in Simple Type Theory
Quantum Computers
Quantum Interaction Approach in Cognition, Artificial Intelligence and Robotics
Quantum Interference in Cognition: Structural Aspects of the Brain
Quantum Structure in Cognition: Fundamentals and Applications
Quels formalismes temporels pour représenter des connaissances extraites de textes de recettes de cuisine ?
Query strategy for sequential ontology debugging
Query-driven Procedures for Hybrid MKNF Knowledge Bases
Querying Biomedical Ontologies in Natural Language using Answer Set