2909 search results - page 138 / 582 » Consistency of the theory of contexts |
167
click to vote
LANMR
2007
15 years 7 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
164
click to vote
AAAI
2004
15 years 7 months ago
2004
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
153
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper proposes an emotion model for life-like agents with emotions and motivations. This model consists of reactive and deliberative mechanisms. The former generates low-leve...
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
166
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Using data from a popular online social network site, this paper explores the relationship between profile structure (namely, which fields are completed) and number of friends, gi...