2022 search results - page 126 / 405 » Complexity of Non-Monotonic Logics |
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
99
Voted
IEEEICCI
2007
IEEE
15 years 7 months ago
2007
IEEE
Granular computing concerns human thinking and problem solving, as well as their implications to the design of knowledge intensive systems. It simplifies complex real world probl...
152
Voted
JSAI
2007
Springer
15 years 7 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
119
Voted
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
Trust networks consist of transitive trust relationships between people, organisations and software agents connected through a medium for communication and interaction. By formali...
95
Voted
KES
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...