NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
ICoS - 2006
Total Papers:- 19
Total Papers accross all years:- 19
Total Citations :- 43
«
1
2
Formal semantics of verbs for knowledge inference
Igor Boyko |
A Computational Theory of Inference for Arithmetic Explanation
Albert Goldfain |
Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive Means for Semantic Inference
Hermann Helbig |
Ingo Glöckner |
The Alligator theorem prover for dependent type systems: Description and proof samples
Paul Piwek |
Conference Topic Distribution
Linguistic
Task
Approach
Language
Dataset
Conference Citation Distribution
Conference Citations
Yearwise Conference Citations
Conference Reference Distribution
Conference References
Yearwise Conference References
Topics
Linguistic Trends
Discourse
Pragmatics
Formal Semantics
Event Semantics
Ontologies
Syntax
Typology
Task
Language Understanding
Word Sense Disambiguation
Textual Entailment
Relation Extraction
Question Answering
Coreference Resolution
Machine Translation
Language
English
Dataset
Encyclopedia