Sciweavers

2308 search results - page 357 / 462
» Representing Symbolic Reasoning
Sort
View
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
16 years 15 days ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
ILP
2007
Springer
16 years 15 days ago
Applying Inductive Logic Programming to Process Mining
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Serg...
ILP
2007
Springer
16 years 15 days ago
Relational Macros for Transfer in Reinforcement Learning
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...
Lisa Torrey, Jude W. Shavlik, Trevor Walker, Richa...
ILP
2007
Springer
16 years 15 days ago
Building Relational World Models for Reinforcement Learning
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
Trevor Walker, Lisa Torrey, Jude W. Shavlik, Richa...
ISVC
2007
Springer
16 years 15 days ago
An Anti-aliasing Technique for Voxel-Based Massive Model Visualization Strategies
CAD models of industrial installations usually have hundreds of millions of triangles. For this reason they cannot be interactively rendered in the current generation of computer h...
Gustavo N. Wagner, Alberto Raposo, Marcelo Gattass