Gotowa bibliografia na temat „Defeasible logic”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Defeasible logic”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Defeasible logic"
GOVERNATORI, GUIDO, i MICHAEL J. MAHER. "Annotated defeasible logic". Theory and Practice of Logic Programming 17, nr 5-6 (22.08.2017): 819–36. http://dx.doi.org/10.1017/s1471068417000266.
Pełny tekst źródłaMAHER, MICHAEL J., ANDREW ROCK, GRIGORIS ANTONIOU, DAVID BILLINGTON i TRISTAN MILLER. "EFFICIENT DEFEASIBLE REASONING SYSTEMS". International Journal on Artificial Intelligence Tools 10, nr 04 (grudzień 2001): 483–501. http://dx.doi.org/10.1142/s0218213001000623.
Pełny tekst źródłaMAHER, MICHAEL J. "Propositional defeasible logic has linear complexity". Theory and Practice of Logic Programming 1, nr 6 (listopad 2001): 691–711. http://dx.doi.org/10.1017/s1471068401001168.
Pełny tekst źródłaMAHER, MICHAEL J., ILIAS TACHMAZIDIS, GRIGORIS ANTONIOU, STEPHEN WADE i LONG CHENG. "Rethinking Defeasible Reasoning: A Scalable Approach". Theory and Practice of Logic Programming 20, nr 4 (24.02.2020): 552–86. http://dx.doi.org/10.1017/s1471068420000010.
Pełny tekst źródłaKontopoulos, Efstratios, Nick Bassiliades, Guido Governatori i Grigoris Antoniou. "A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web". International Journal on Semantic Web and Information Systems 7, nr 1 (styczeń 2011): 18–43. http://dx.doi.org/10.4018/jswis.2011010102.
Pełny tekst źródłaNute, Donald, i Katrin Erk. "Defeasible logic graphs". Decision Support Systems 22, nr 3 (marzec 1998): 277–93. http://dx.doi.org/10.1016/s0167-9236(97)00063-8.
Pełny tekst źródłaNute, Donald, Zachary Hunter i Christopher Henderson. "Defeasible logic graphs". Decision Support Systems 22, nr 3 (marzec 1998): 295–306. http://dx.doi.org/10.1016/s0167-9236(97)00064-x.
Pełny tekst źródłaMAIER, FREDERICK. "Interdefinability of defeasible logic and logic programming under the well-founded semantics". Theory and Practice of Logic Programming 13, nr 1 (9.08.2011): 107–42. http://dx.doi.org/10.1017/s147106841100041x.
Pełny tekst źródłaMAHER, MICHAEL J. "Relative expressiveness of defeasible logics". Theory and Practice of Logic Programming 12, nr 4-5 (lipiec 2012): 793–810. http://dx.doi.org/10.1017/s1471068412000294.
Pełny tekst źródłaANTONIOU, GRIGORIS, DAVID BILLINGTON, GUIDO GOVERNATORI i MICHAEL J. MAHER. "Embedding defeasible logic into logic programming". Theory and Practice of Logic Programming 6, nr 06 (16.10.2006): 703–35. http://dx.doi.org/10.1017/s1471068406002778.
Pełny tekst źródłaRozprawy doktorskie na temat "Defeasible logic"
Trelles, Oscar. "Donald Nute (ed.): Defeasible Deontic Logic". Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/113238.
Pełny tekst źródłaAceto, Giacomo. "Implementation of a non ground meta interpreter for defeasible logic". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/2435/.
Pełny tekst źródłaZaverucha, Gerson. "A nonmonotonic multi-agent logic of belief : a Modal Defeasible Relevant approach". Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46629.
Pełny tekst źródłaJanjua, Naeem Khalid. "A defeasible logic programming-based framework to support argumentation in Semantic Web applications". Thesis, Curtin University, 2013. http://hdl.handle.net/20.500.11937/2073.
Pełny tekst źródłaNair, Vineet. "On Extending BDI Logics". Thesis, Griffith University, 2003. http://hdl.handle.net/10072/365892.
Pełny tekst źródłaThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Information Technology
Full Text
Dalglish, Steven Jack William. "Accepting Defeat: A Solution to Semantic Paradox with Defeasible Principles for Truth". The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1597757494987204.
Pełny tekst źródłaFermé, Eduardo. "On the Logic of Theory Change : Extending the AGM Model". Doctoral thesis, KTH, Filosofi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-29601.
Pełny tekst źródłaQC 20110211
Pardo, Ventura Pere. "Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC". Doctoral thesis, Universitat de Barcelona, 2013. http://hdl.handle.net/10803/129620.
Pełny tekst źródłaEn aquesta tesi, estudiem algorismes de planificació per a dues lògiques enfocades a sistemes multi-agent. Amb més detall, estudiem problemes de planificació (com arribar a estats objectiu a partir de l'estat inicial i un conjunt d'accions disponibles), els elements dels quals es poden expressar en alguna de les dues lògiques. En la primera part de la tesi, proposem en primer lloc una extensió temporal de la programació lògica rebatible (temporal defeasible logic programming) t-DeLP. Aquest és un sistema de programació lògica no-monotònica basat en tècniques d'argumentació i orientat al raonament sobre les accions, i especialment dels seus efectes indirectes. En el llenguatge d'aquesta lògica, hom pot descriure accions temporals de l'estil de sistemes de planificació, i definir al seu temps un sistema de transicions d'estats. Finalment, això permet definir un sistema de planificació basat en aquesta lògica que combina accions i derivacions lògiques. Les contribucions principals al respecte són: l'estudi de les propietats argumentatives del sistema lògic, i de la correcció i completesa d'algorismes basats en Breadth First Search de cerca en l'espai de plans. En la segona part de la tesi, estudiem sistemes de planificació definits sobre una família de lògiques dinàmiques epistèmiques, conegudes com a Logics of Communication and Change. Aquestes lògiques permeten l'estudi formal de les creences de diversos agents, així com dels efectes epistemics i físics de diferents tipus d'accions. Entre aquestes, podem incloure diferents accions comunicatives (públiques, privades), observacions i les accions físiques habituals en planning. L'estudi del sistema de planificació definit per aquestes lògiques és dut a terme mitjançant algorismes de cerca basats en breadth first search. Les contribucions principals són l'extensió d'aquestes lògiques amb accions no-deterministes i composició d'accions, i la demostració de la correcció
Nair, Vineet, i n/a. "On Extending BDI Logics". Griffith University. School of Information Technology, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030929.095254.
Pełny tekst źródłaRiveret, Régis <1979>. "Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation". Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/911/1/Tesi_Riveret_Regis.pdf.
Pełny tekst źródłaKsiążki na temat "Defeasible logic"
Nute, Donald. Defeasible Deontic Logic. Dordrecht: Springer Netherlands, 1997.
Znajdź pełny tekst źródłaNute, Donald, red. Defeasible Deontic Logic. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5.
Pełny tekst źródła1947-, Nute Donald, red. Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers, 1997.
Znajdź pełny tekst źródłaKyburg, Henry E. Knowledge Representation and Defeasible Reasoning. Dordrecht: Springer Netherlands, 1990.
Znajdź pełny tekst źródłaKohlas, Jürg. Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Dordrecht: Springer Netherlands, 2000.
Znajdź pełny tekst źródłaMeyer, John-Jules Ch. Agent-Based Defeasible Control in Dynamic Environments. Dordrecht: Springer Netherlands, 2002.
Znajdź pełny tekst źródła1939-, Kohlas Jürg, i Moral Serafín 1952-, red. Algorithms for uncertainty and defeasible reasoning. Dordrecht: Kluwer Academic Publishers, 2000.
Znajdź pełny tekst źródłaWang, Peng-Hsiang. Defeasibility in der juristischen Begründung. Baden-Baden: Nomos Verlagsgesellschaft, 2003.
Znajdź pełny tekst źródłaM, Gabbay Dov, i Smets Philippe, red. Handbook of defeasible reasoning and uncertainty management systems. Dordrecht: Kluwer, 1998.
Znajdź pełny tekst źródła1945-, Gabbay Dov M., i Smets Philippe, red. Handbook of defeasible reasoning and uncertainty management systems. Dordrecht: Kluwer, 1998.
Znajdź pełny tekst źródłaCzęści książek na temat "Defeasible logic"
Nute, Donald. "Defeasible Logic". W Lecture Notes in Computer Science, 151–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36524-9_13.
Pełny tekst źródłaNute, Donald, i Xiaochang Yu. "Introduction". W Defeasible Deontic Logic, 1–16. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_1.
Pełny tekst źródłaPrakken, Henry, i Marek Sergot. "Dyadic Deontic Logic and Contrary-to-Duty Obligations". W Defeasible Deontic Logic, 223–62. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_10.
Pełny tekst źródłaRoyakkers, Lambèr, i Frank Dignum. "Defeasible Reasoning with Legal Rules". W Defeasible Deontic Logic, 263–86. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_11.
Pełny tekst źródłaNute, Donald. "Apparent Obligation". W Defeasible Deontic Logic, 287–315. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_12.
Pełny tekst źródłaCarmo, José, i Andrew J. I. Jones. "A New Approach to Contrary-to-Duty Obligations". W Defeasible Deontic Logic, 317–44. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_13.
Pełny tekst źródłaLoui, R. P. "Alchourrón and von Wright on Conflict Among Norms". W Defeasible Deontic Logic, 345–51. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_14.
Pełny tekst źródłaHorty, John F. "Nonmonotonic Foundations for Deontic Logic". W Defeasible Deontic Logic, 17–44. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_2.
Pełny tekst źródłaBelzer, Marvin, i Barry Loewer. "Deontic Logics of Defeasibility". W Defeasible Deontic Logic, 45–57. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_3.
Pełny tekst źródłaÅqvist, Lennart. "Systematic Frame Constants in Defeasible Deontic Logic". W Defeasible Deontic Logic, 59–77. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_4.
Pełny tekst źródłaStreszczenia konferencji na temat "Defeasible logic"
Governatori, Guido, Antonino Rotolo i Giovanni Sartor. "Temporalised normative positions in defeasible logic". W the 10th international conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1165485.1165490.
Pełny tekst źródłaPeng, Yanbin, Lv Ye, Zhijun Zheng, Jian Xiang, Ji Gao, Jieqing Ai, Zhenyu Lu, Jin Yu i Xueqin Jiang. "Goal Theory Based on Defeasible Logic". W 2009 International Workshop on Intelligent Systems and Applications. IEEE, 2009. http://dx.doi.org/10.1109/iwisa.2009.5072890.
Pełny tekst źródłaNute, D., i K. Erk. "Defeasible logic graphs for decision support". W Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences. IEEE, 1996. http://dx.doi.org/10.1109/hicss.1996.495375.
Pełny tekst źródłaPeng, Yanbin, Zhijun Zheng, Jian Xiang, Jieqin Ai i Zhenyu Lu. "Norm Formation Based on Defeasible Logic". W 2009 International Conference on Computational Intelligence and Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/cise.2009.5363441.
Pełny tekst źródłaGovernatori, Guido, i Francesco Olivieri. "Unravel legal references in defeasible deontic logic". W ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3462757.3466080.
Pełny tekst źródłaKontopoulos, Efstratios, Nick Bassiliades i Grigoris Antoniou. "Visual Stratification of Defeasible Logic Rule Bases". W 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007). IEEE, 2007. http://dx.doi.org/10.1109/ictai.2007.39.
Pełny tekst źródłaYuan, Jinping, Aihua Bao, Li Yao, Xuetian Qi i Fang Liu. "Defeasible logic base BDI agent for argumentation". W 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS 2009). IEEE, 2009. http://dx.doi.org/10.1109/icicisys.2009.5357863.
Pełny tekst źródłaHijazi, Sherin, Nadim Obeid i Riad Jabri. "On Drug Dosage Control Using Description Defeasible Logic". W 2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, 2017. http://dx.doi.org/10.1109/csci.2017.288.
Pełny tekst źródłaDastani, M., G. Governatori, A. Rotolo, I. Song i L. van der Torre. "Contextual deliberation of cognitive agents in defeasible logic". W the 6th international joint conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1329125.1329306.
Pełny tekst źródłaKoc, Cagatay, i Sanem Sariel. "Argumentation-based scene interpretation using defeasible logic programming". W 2015 International Conference on Advanced Robotics (ICAR). IEEE, 2015. http://dx.doi.org/10.1109/icar.2015.7251525.
Pełny tekst źródłaRaporty organizacyjne na temat "Defeasible logic"
Bonatti, Piero, Carsten Lutz i Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.149.
Pełny tekst źródłaPensel, Maximilian, i Anni-Yasmin Turhan. Making Quantification Relevant Again —the Case of Defeasible EL⊥. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.231.
Pełny tekst źródła