default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 9
Volume 9, Number 1, March 2011
- Ofer Arieli, Anna Zamansky:
Simplified forms of computerized reasoning with distance semantics. 1-22 - Osman Hasan
, Sofiène Tahar:
Reasoning about conditional probabilities in a higher-order-logic theorem prover. 23-40 - Osman Hasan, Jigar Patel, Sofiène Tahar:
Formal reliability analysis of combinational circuits using theorem proving. 41-60 - Christian Straßer:
A deontic logic framework allowing for factual detachment. 61-80
Volume 9, Number 2, June 2011
- Ron van der Meyden, Leon van der Torre:
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). 81-82
- Nuel Belnap:
Prolegomenon to norms in branching space-times. 83-94 - Davide Grossi:
Norms as ascriptions of violations: An analysis in modal logic. 95-112 - Lars Lindahl, Jan Odelstad:
Stratification of normative systems with intermediaries. 113-136 - Jan M. Broersen:
Deontic epistemic stit logic distinguishing modes of mens rea. 137-152 - Paul McNamara:
Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin. 153-170
Volume 9, Number 3, September 2011
- Paolo Gentilini:
Proof theory and mathematical meaning of paraconsistent C-systems. 171-202 - Jan A. Bergstra, Cornelis A. Middelburg:
Inversive meadows and divisive meadows. 203-220
Volume 9, Number 4, December 2011
- Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar:
Special issue on logics for intelligent agents and multi-agent systems. 221-222
- Michael Fisher:
Agent deliberation in an executable temporal framework. 223-238 - Chuchang Liu, Angela Billard, Benjamin Long:
An abstract dynamic access control architecture. 239-249 - Jeff Blee, David Billington, Guido Governatori, Abdul Sattar:
Levels of modality for BDI Logic. 250-273 - Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre:
Time and defeasibility in FIPA ACL semantics. 274-288 - Ji Ma, Mehmet A. Orgun, Kamel Adi:
An analytic tableau calculus for a temporalised belief logic. 289-304
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
