Sciweavers

1137 search results - page 38 / 228
» Knowledge Representation with Logic Programs
Sort
View
AMAI
2004
Springer
13 years 8 months ago
Logical Preference Representation and Combinatorial Vote
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...
Jérôme Lang
DLOG
2007
13 years 11 months ago
Exploiting Description Logic Reasoners in Inductive Logic
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
Francesca A. Lisi
RULEML
2005
Springer
14 years 2 months ago
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
Adrian Paschke, Martin Bichler, Jens Dietrich
ICFP
2004
ACM
14 years 8 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda
TSMC
1998
96views more  TSMC 1998»
13 years 8 months ago
The MDS-ANAVA technique for assessing knowledge representation differences between skill groups
—Knowledge representation is one of important factors that determine human performance on cognitive tasks. Due to different levels of experience, different groups of people may d...
Nong Ye