Special Track on Artificial Intelligence, Cognitive Semantics, Computational Linguistics, and Logic.
Ismaïl BiskriPublished in: FLAIRS Conference (2012)
Keyphrases
- computational linguistics
- artificial intelligence
- predicate logic
- cognitive psychology
- logic programming
- lexical semantics
- natural language processing
- proof theory
- cognitive science
- sound and complete with respect
- sound and complete axiomatization
- epistemic logic
- propositional dynamic logic
- nonmonotonic logics
- computer science
- text corpora
- modal operators
- dynamic logic
- logical framework
- conditional logic
- alternating time temporal logic
- text mining
- operational semantics
- logical formulas
- machine learning
- knowledge representation
- semisupervised learning
- language technology
- information processing
- model theoretic
- classical logic
- knowledge processing
- derivation rules
- logic programs
- conceptual structures
- cognitive neuroscience
- formal semantics
- software engineering
- student research workshop
- expert systems
- information retrieval
- fixed point semantics
- co occurrence
- semantic information
- modal logic
- cognitive processes
- cognitive architecture
- default reasoning