3047 search results - page 312 / 610 » On the Meaning of Logical Completeness |
180
click to vote
LPNMR
2005
Springer
16 years 1 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
196
click to vote
DFG
2004
Springer
16 years 27 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
235
click to vote
NMR
2004
Springer
16 years 26 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
218
click to vote
UML
2004
Springer
16 years 26 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
174
Voted
COOPIS
2002
IEEE
16 years 14 days ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...