540 search results - page 27 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
FLAIRS
2004
15 years 1 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
111
Voted
SI3D
2009
ACM
15 years 7 months ago
2009
ACM
Large amount of human motion capture data have been increasingly recorded and used in animation and gaming applications. Efficient retrieval of logically similar motions from a l...
115
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
95
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
124
click to vote
ACL
2012
13 years 2 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ...