4266 search results - page 280 / 854 » A Framework for Defining Logics |
213
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
174
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
197
click to vote
AB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
218
click to vote
CMSB
2007
Springer
16 years 28 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
206
click to vote
ILP
2007
Springer
16 years 27 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...