Sciweavers

2 search results - page 1 / 1
» Granular Logic with Variables for Implementation of Extended...
Sort
View
FLAIRS
2008
13 years 6 months ago
Granular Logic with Variables for Implementation of Extended Tabular Trees
This paper presents proposals of certain extensions to the XTT knowledge representation model, a method of tabular specification for rule-based systems. The extensions concern
Antoni Ligeza, Grzegorz J. Nalepa
AI
2010
Springer
13 years 4 months ago
Implementing logical connectives in constraint programming
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
Christopher Jefferson, Neil C. A. Moore, Peter Nig...