1375 search results - page 68 / 275 » SDL-2000: A Language with a Formal Semantics |
205
click to vote
ICFCA
2004
Springer
16 years 3 days ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
171
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
201
click to vote
SEMWEB
2004
Springer
16 years 2 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
132
Voted
COLING
1996
15 years 8 months ago
1996
This paper describes results achieved in a project which addresses the issue of how the gap between uni cation-based grammars as a scienti c concept and real world applications ca...
180
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...