Sciweavers

1849 search results - page 209 / 370
» Intelligent Expressions of Emotions
Sort
View
HOLOMAS
2007
Springer
16 years 21 days ago
Auctions with Arbitrary Deals
To come to a deal, a bargaining process can sometimes take a long time. An auction may be a faster, but existing auction models cannot cope with situations where money is not an is...
Tamás Máhr, Mathijs de Weerdt
JSAI
2007
Springer
16 years 21 days ago
Towards Translation of Legal Sentences into Logical Forms
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu
KI
2007
Springer
16 years 21 days ago
Description Logic Programs: Normal Forms
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
Pascal Hitzler, Andreas Eberhart
ICTAI
2006
IEEE
16 years 18 days ago
Graph Grammar Induction on Structural Data for Visual Programming
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
ICTAI
2006
IEEE
16 years 18 days ago
Incremental Filtering Algorithms for Precedence and Dependency Constraints
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
Roman Barták, Ondrej Cepek