8828 search results - page 1315 / 1766 » Formal methods in practice |
215
click to vote
NMR
2004
Springer
16 years 12 days ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
210
click to vote
WADT
2004
Springer
16 years 12 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
186
click to vote
AGTIVE
2003
Springer
16 years 9 days ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
179
click to vote
AGTIVE
2003
Springer
16 years 9 days ago
2003
Springer
Discontinuous constituent are a frequent problem in natural language analyses. A constituent is called discontinuous if it is interrupted by other constituents. In German they can ...
187
click to vote
COMPSAC
2002
IEEE
16 years 1 days ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...