Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
On Hybrid Systems and the Modal µ-calculus
Hybrid Systems V
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Annals of Mathematics and Artificial Intelligence
Journal of the ACM (JACM)
Languages of logic and their applications
Computers & Mathematics with Applications
Using First-Order Logic to Reason about Policies
ACM Transactions on Information and System Security (TISSEC)
Probabilistic logic with independence
International Journal of Approximate Reasoning
An Evolutionary Method for Natural Language to SQL Translation
SEAL '08 Proceedings of the 7th International Conference on Simulated Evolution and Learning
Journal of Computer Science and Technology
Reasoning about attribute authenticity in a web environment
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Closures in Binary Partial Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal on data semantics X
Probabilistic logic with strong independence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
| Hi-index | 0.00 |