Sciweavers

2 search results - page 1 / 1
» Granular Logic with Variables for Implementation of Extended...
Sort
View
74
Voted
FLAIRS
2008
14 years 12 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
14 years 9 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...