Sciweavers

2611 search results - page 143 / 523
» A Logic for Concepts and Similarity
Sort
View
AAAI
2004
15 years 3 months ago
On Odd and Even Cycles in Normal Logic Programs
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
Fangzhen Lin, Xishun Zhao
138
Voted
EUSFLAT
2009
135views Fuzzy Logic» more  EUSFLAT 2009»
14 years 11 months ago
A Logic-Based Approach for Evaluating Interpretability of Fuzzy Rule-Based Classifiers
Abstract-- We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are in...
Corrado Mencar, Ciro Castiello, Anna Maria Fanelli
SEMWEB
2009
Springer
15 years 8 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
FPL
2000
Springer
124views Hardware» more  FPL 2000»
15 years 5 months ago
Balancing Logic Utilization and Area Efficiency in FPGAs
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...
Russell Tessier, Heather Giza
ICLP
2007
Springer
15 years 8 months ago
Minimal Logic Programs
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
Pedro Cabalar, David Pearce, Agustín Valver...