researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: AI in Engineering
Home
Index
Info
Issue
Volume
7
, Issue
3
125
--
137
Neeraj Kaul
,
Gautam Biswas
,
Bharat L. Bhuva
.
Multi-level qualitative reasoning applied to CMOS digital circuits
139
--
151
Eric Sauthier
,
Boi Faltings
.
Model-based traffic control
153
--
165
Alex Loopik
,
Yossi Lichtenstein
.
Prolog versus Kee - A case study
167
--
173
Qiang Shen
,
Roy Leitch
.
On extending the quantity space in qualitative reasoning
175
--
182
Yousri El Fattah
.
Constraint logic programming: Applications and implications