4978 search results - page 131 / 996 » Logical models of argument |
149
Voted
JOLLI
2002
15 years 5 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
207
click to vote
DATESO
2006
15 years 7 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
138
click to vote
WOLLIC
2009
Springer
16 years 22 days ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
152
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
143
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...