2162 search results - page 237 / 433 » Automated Reasoning on Feature Models |
151
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
135
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
136
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
123
Voted
ICWL
2007
Springer
15 years 11 months ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
131
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...