default search action
Search dblp for Publications
export results for "toc:db/journals/japll/japll9.bht:"
@article{DBLP:journals/japll/ArieliZ11, author = {Ofer Arieli and Anna Zamansky}, title = {Simplified forms of computerized reasoning with distance semantics}, journal = {J. Appl. Log.}, volume = {9}, number = {1}, pages = {1--22}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2010.07.001}, doi = {10.1016/J.JAL.2010.07.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/ArieliZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Belnap11, author = {Nuel Belnap}, title = {Prolegomenon to norms in branching space-times}, journal = {J. Appl. Log.}, volume = {9}, number = {2}, pages = {83--94}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2009.09.006}, doi = {10.1016/J.JAL.2009.09.006}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Belnap11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BergstraM11, author = {Jan A. Bergstra and Cornelis A. Middelburg}, title = {Inversive meadows and divisive meadows}, journal = {J. Appl. Log.}, volume = {9}, number = {3}, pages = {203--220}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.03.001}, doi = {10.1016/J.JAL.2011.03.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BergstraM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BleeBGS11, author = {Jeff Blee and David Billington and Guido Governatori and Abdul Sattar}, title = {Levels of modality for {BDI} Logic}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {250--273}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.08.002}, doi = {10.1016/J.JAL.2011.08.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BleeBGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BoellaGHRRT11, author = {Guido Boella and Guido Governatori and Joris Hulstijn and R{\'{e}}gis Riveret and Antonino Rotolo and Leendert W. N. van der Torre}, title = {Time and defeasibility in {FIPA} {ACL} semantics}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {274--288}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.006}, doi = {10.1016/J.JAL.2011.09.006}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/BoellaGHRRT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Broersen11, author = {Jan M. Broersen}, title = {Deontic epistemic stit logic distinguishing modes of mens rea}, journal = {J. Appl. Log.}, volume = {9}, number = {2}, pages = {137--152}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2010.06.002}, doi = {10.1016/J.JAL.2010.06.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Broersen11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Fisher11, author = {Michael Fisher}, title = {Agent deliberation in an executable temporal framework}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {223--238}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.004}, doi = {10.1016/J.JAL.2011.09.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Fisher11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Gentilini11, author = {Paolo Gentilini}, title = {Proof theory and mathematical meaning of paraconsistent C-systems}, journal = {J. Appl. Log.}, volume = {9}, number = {3}, pages = {171--202}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.04.001}, doi = {10.1016/J.JAL.2011.04.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Gentilini11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Grossi11, author = {Davide Grossi}, title = {Norms as ascriptions of violations: An analysis in modal logic}, journal = {J. Appl. Log.}, volume = {9}, number = {2}, pages = {95--112}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2010.03.002}, doi = {10.1016/J.JAL.2010.03.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Grossi11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/HasanPT11, author = {Osman Hasan and Jigar Patel and Sofi{\`{e}}ne Tahar}, title = {Formal reliability analysis of combinational circuits using theorem proving}, journal = {J. Appl. Log.}, volume = {9}, number = {1}, pages = {41--60}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.01.002}, doi = {10.1016/J.JAL.2011.01.002}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/HasanPT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/HasanT11, author = {Osman Hasan and Sofi{\`{e}}ne Tahar}, title = {Reasoning about conditional probabilities in a higher-order-logic theorem prover}, journal = {J. Appl. Log.}, volume = {9}, number = {1}, pages = {23--40}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.01.001}, doi = {10.1016/J.JAL.2011.01.001}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/HasanT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/LindahlO11, author = {Lars Lindahl and Jan Odelstad}, title = {Stratification of normative systems with intermediaries}, journal = {J. Appl. Log.}, volume = {9}, number = {2}, pages = {113--136}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2010.01.002}, doi = {10.1016/J.JAL.2010.01.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/LindahlO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/LiuBL11, author = {Chuchang Liu and Angela Billard and Benjamin Long}, title = {An abstract dynamic access control architecture}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {239--249}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.005}, doi = {10.1016/J.JAL.2011.09.005}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/LiuBL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/MaOA11, author = {Ji Ma and Mehmet A. Orgun and Kamel Adi}, title = {An analytic tableau calculus for a temporalised belief logic}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {289--304}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.08.003}, doi = {10.1016/J.JAL.2011.08.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/MaOA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/McNamara11, author = {Paul McNamara}, title = {Praise, blame, obligation, and {DWE:} Toward a framework for classical supererogation and kin}, journal = {J. Appl. Log.}, volume = {9}, number = {2}, pages = {153--170}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2009.09.007}, doi = {10.1016/J.JAL.2009.09.007}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/McNamara11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/MeydenT11, author = {Ron van der Meyden and Leon van der Torre}, title = {Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science {(DEON} 2008)}, journal = {J. Appl. Log.}, volume = {9}, number = {2}, pages = {81--82}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.02.001}, doi = {10.1016/J.JAL.2011.02.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/MeydenT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/OrgunGLRS11, author = {Mehmet A. Orgun and Guido Governatori and Chuchang Liu and Mark Reynolds and Abdul Sattar}, title = {Special issue on logics for intelligent agents and multi-agent systems}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {221--222}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.003}, doi = {10.1016/J.JAL.2011.09.003}, timestamp = {Mon, 05 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/OrgunGLRS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Strasser11, author = {Christian Stra{\ss}er}, title = {A deontic logic framework allowing for factual detachment}, journal = {J. Appl. Log.}, volume = {9}, number = {1}, pages = {61--80}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2010.11.001}, doi = {10.1016/J.JAL.2010.11.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Strasser11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.