1835 search results - page 169 / 367 » Classifying Description Logics |
FPGA
1997
ACM
15 years 8 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
123
click to vote
AIIA
2007
Springer
15 years 6 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
123
click to vote
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
One of the main limitations when accessing the web is the lack of explicit structure, whose presence may help in understanding data semantics. Schema for web data can be constructe...
139
click to vote
ESWA
2006
15 years 4 months ago
2006
The paper demonstrates the efficient use of hybrid intelligent systems for solving the classification problem of bankruptcy. The aim of the study is to obtain classification schem...
186
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...