3 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools
|
|
|
|
In: Mathematics ; Volume 9 ; Issue 20 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
A bidirectional mapping between English and CNF-based reasoners
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2018)
|
|
BASE
|
|
Show details
|
|
10 |
Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises
|
|
|
|
In: Kyrilov, Angelo. (2017). Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises. UC Merced: Electrical Engineering and Computer Science. Retrieved from: http://www.escholarship.org/uc/item/0r05m1m4 (2017)
|
|
BASE
|
|
Show details
|
|
13 |
A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web ; Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00507482 ; Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English (2008)
|
|
BASE
|
|
Show details
|
|
14 |
Coordinating Semantic Peers
|
|
|
|
In: http://dit.unitn.it/~bouquet/papers/aimsa-2004-semantic-peers.pdf (2004)
|
|
BASE
|
|
Show details
|
|
15 |
A Hybrid Model For Sharing Information Between Fuzzy, Uncertain And Default Reasoning Models In Multi-Agent Systems
|
|
|
|
In: http://www.ecs.soton.ac.uk/~xl/00F18.ps (2002)
|
|
BASE
|
|
Show details
|
|
16 |
A Hybrid Model For Sharing Information Between Fuzzy, Uncertain And Default Reasoning Models In Multi-Agent Systems
|
|
|
|
In: http://www.ecs.soton.ac.uk/~nrj/download-files/jufkbs.pdf (2002)
|
|
BASE
|
|
Show details
|
|
17 |
Towards the Use of Automated Reasoning in Discourse Disambiguation
|
|
|
|
In: ftp://ftp.coli.uni-sb.de/pub/people/claire/gardentwebber01.ps (2001)
|
|
BASE
|
|
Show details
|
|
18 |
Towards the Use of Automated Reasoning in Discourse Disambiguation
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00100448 ; Journal of Logic, Language and Information, Springer Verlag, 2001, 10 (4), pp.487-509. ⟨10.1023/A:1017916706972⟩ (2001)
|
|
BASE
|
|
Show details
|
|
19 |
EXPTIME tableaux for ALC
|
|
|
|
In: http://www.ing.unitn.it/~massacci/papers/doni-mass-00-AIJ.pdf (2000)
|
|
BASE
|
|
Show details
|
|
20 |
Automated Reasoning for Computational Semantics
|
|
|
|
In: http://www.ags.uni-sb.de/~kohlhase/submit/nlded-99.ps.gz (1999)
|
|
BASE
|
|
Show details
|
|
|
|