10568 search results - page 19 / 2114 » Computer Intelligence and Formalization |
165
Voted
ICCS
1999
Springer
15 years 7 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
103
Voted
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
129
Voted
DAGSTUHL
2008
15 years 4 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
132
Voted
ICAIL
2005
ACM
15 years 8 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
110
Voted
JAPLL
2010
15 years 1 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...