Search dblp for Publications

export results for "toc:db/journals/japll/japll9.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.