1137 search results - page 170 / 228 » Logic Programming for Knowledge Representation |
178
click to vote
FBIT
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
175
click to vote
PKDD
2007
Springer
16 years 3 days ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
174
click to vote
SBCCI
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
234
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
149
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...