454 search results - page 42 / 91 » Representation results for defeasible logic |
123
click to vote
DSS
2002
15 years 12 days ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
119
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...
121
Voted
CADE
2004
Springer
16 years 27 days ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
83
Voted
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
103
click to vote
ICDAR
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...