Journal articles on the topic 'BDI Logics'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'BDI Logics.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Grabovskis, Arvids, and Janis Grundspenkis. "Identification of Relations between BDI Logic and BDI Agents." Scientific Journal of Riga Technical University. Computer Sciences 44, no. 1 (January 1, 2011): 21–28. http://dx.doi.org/10.2478/v10143-011-0018-1.
Full textHerzig, Andreas, Emiliano Lorini, Laurent Perrussel, and Zhanhao Xiao. "BDI Logics for BDI Architectures: Old Problems, New Perspectives." KI - Künstliche Intelligenz 31, no. 1 (October 18, 2016): 73–83. http://dx.doi.org/10.1007/s13218-016-0457-5.
Full textRao, A. "Decision procedures for BDI logics." Journal of Logic and Computation 8, no. 3 (June 1, 1998): 293–342. http://dx.doi.org/10.1093/logcom/8.3.293.
Full textBenrouba, Ferdaous, and Rachid Boudour. "A Model Combining BDI Logic and Temporal Logics for Decision-Making in Emergency." International Journal of Advances in Soft Computing and its Applications 14, no. 3 (November 28, 2022): 32–48. http://dx.doi.org/10.15849/ijasca.221128.03.
Full textDziubiński, Marcin. "Modal context restriction for multiagent BDI logics." Artificial Intelligence Review 55, no. 4 (October 6, 2021): 3075–151. http://dx.doi.org/10.1007/s10462-021-10064-6.
Full textNaoyuki, Nide, Shiro Takata, and Tadashi Araragi. "Deduction Systems for BDI Logics with Mental State Consistency." Electronic Notes in Theoretical Computer Science 70, no. 5 (October 2002): 140–52. http://dx.doi.org/10.1016/s1571-0661(04)80593-0.
Full textPetik, Jaroslav. "PHILOSOPHICAL PROBLEMS OF THE MENTALISTIC LOGIC." Sophia. Human and Religious Studies Bulletin 14, no. 2 (2019): 38–43. http://dx.doi.org/10.17721/sophia.2019.14.9.
Full textLARCHEY-WENDLING, DOMINIQUE, and DIDIER GALMICHE. "Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding." Mathematical Structures in Computer Science 19, no. 3 (June 2009): 435–500. http://dx.doi.org/10.1017/s0960129509007567.
Full textCruz, Anderson, André V. dos Santos, Regivan H. N. Santiago, and Benjamin Bedregal. "A Fuzzy Semantic for BDI Logic." Fuzzy Information and Engineering 13, no. 2 (April 3, 2021): 139–53. http://dx.doi.org/10.1080/16168658.2021.1915455.
Full textBlee, Jeff, David Billington, Guido Governatori, and Abdul Sattar. "Levels of modality for BDI Logic." Journal of Applied Logic 9, no. 4 (December 2011): 250–73. http://dx.doi.org/10.1016/j.jal.2011.08.002.
Full textAlechina, Natasha, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Jomi Hubner, Brian Logan, Hai Nguyen, and Marc Van Zee. "Multi-Cycle Query Caching in Agent Programming." Proceedings of the AAAI Conference on Artificial Intelligence 27, no. 1 (June 30, 2013): 32–38. http://dx.doi.org/10.1609/aaai.v27i1.8618.
Full textBunder, Martin. "BCI-Algebras and Related Logics." Australasian Journal of Logic 19, no. 2 (May 18, 2022): 85–95. http://dx.doi.org/10.26686/ajl.v19i2.7567.
Full textPerháč, Ján, Valerie Novitzká, William Steingartner, and Zuzana Bilanová. "Formal Model of IDS Based on BDI Logic." Mathematics 9, no. 18 (September 17, 2021): 2290. http://dx.doi.org/10.3390/math9182290.
Full textChen, Qingliang, Kaile Su, Abdul Sattar, Xiangyu Luo, and Aixiang Chen. "A first-order coalition logic for BDI-agents." Frontiers of Computer Science 10, no. 2 (October 28, 2015): 233–45. http://dx.doi.org/10.1007/s11704-015-4591-2.
Full textHu, Jun, and Yang Yu. "A Policy-Oriented Reputation BDI Model." Applied Mechanics and Materials 34-35 (October 2010): 707–11. http://dx.doi.org/10.4028/www.scientific.net/amm.34-35.707.
Full textNIDE, Naoyuki, Shiro Takata, and Megumi Fujita. "Modeling Cooperative Actions Using an Extended BDI Logic TOMATOes." Transactions of the Japanese Society for Artificial Intelligence 26 (2011): 13–24. http://dx.doi.org/10.1527/tjsai.26.13.
Full textTAKATA, Shiro, Naoyuki NIDE, and Megumi FUJITA. "Modeling Reinforcement Learning using an Extended BDI logic TOMATOes." Transactions of the Japanese Society for Artificial Intelligence 26 (2011): 156–65. http://dx.doi.org/10.1527/tjsai.26.156.
Full textZhang, Xiaohong, Xiangyu Ma, and Xuejiao Wang. "Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras." Mathematics 8, no. 9 (September 4, 2020): 1513. http://dx.doi.org/10.3390/math8091513.
Full textYu, Sen-Chi, and Min-Ning Yu. "FUZZY PARTIAL CREDIT SCALING: A VALID APPROACH FOR SCORING THE BECK DEPRESSION INVENTORY." Social Behavior and Personality: an international journal 35, no. 9 (January 1, 2007): 1163–72. http://dx.doi.org/10.2224/sbp.2007.35.9.1163.
Full textXin, Xiaolong, Yulong Fu, Yanyan Lai, and Juntao Wang. "Monadic pseudo BCI-algebras and corresponding logics." Soft Computing 23, no. 5 (April 12, 2018): 1499–510. http://dx.doi.org/10.1007/s00500-018-3189-7.
Full textPerháč, Ján, Daniel Mihályi, and Lukáš Maťaš. "Elimination of network intrusions via a resource oriented BDI architecture." Open Computer Science 8, no. 1 (November 1, 2018): 173–81. http://dx.doi.org/10.1515/comp-2018-0016.
Full textKowalski, Tomasz. "Self-implications in BCI." Notre Dame Journal of Formal Logic 49, no. 3 (July 2008): 295–305. http://dx.doi.org/10.1215/00294527-2008-013.
Full textWu, Xiaoying, and Xiaohong Zhang. "The Structure Theorems of Pseudo-BCI Algebras in Which Every Element is Quasi-Maximal." Symmetry 10, no. 10 (October 8, 2018): 465. http://dx.doi.org/10.3390/sym10100465.
Full textZHao, Hong-Quan, and Seiya Kasai. "WPG-Controlled Quantum BDD Circuits with BDD Architecture on GaAs-Based Hexagonal Nanowire Network Structure." Journal of Nanomaterials 2012 (2012): 1–6. http://dx.doi.org/10.1155/2012/726860.
Full textWu, Lijun, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, and Wei Wu. "A complete first-order temporal BDI logic for forest multi-agent systems." Knowledge-Based Systems 27 (March 2012): 343–51. http://dx.doi.org/10.1016/j.knosys.2011.11.006.
Full textWilges, Beatriz, Gustavo Pereira Mateus, Silvia Modesto Nassar, and Rogerio Cid Bastos. "Integration of BDI agent with Fuzzy Logic in a Virtual Learning Environment." IEEE Latin America Transactions 10, no. 1 (January 2012): 1370–76. http://dx.doi.org/10.1109/tla.2012.6142486.
Full textKowalski, Tomasz, and Sam Butchart. "A Note on Monothetic BCI." Notre Dame Journal of Formal Logic 47, no. 4 (October 2006): 541–44. http://dx.doi.org/10.1305/ndjfl/1168352666.
Full textWille, Robert, and Rolf Drechsler. "BDD-Based Synthesis of Reversible Logic." International Journal of Applied Metaheuristic Computing 1, no. 4 (October 2010): 25–41. http://dx.doi.org/10.4018/jamc.2010100102.
Full textWai, Sim Keng, Cheah WaiShiang, Muhammad Asyraf Bin Khairuddin, Yanti Rosmunie Binti Bujang, Rahmat Hidayat, and Celine Haren Paschal. "Autonomous Agents in 3D Crowd Simulation Through BDI Architecture." JOIV : International Journal on Informatics Visualization 5, no. 1 (March 18, 2021): 1. http://dx.doi.org/10.30630/joiv.5.1.371.
Full textCongguang Yang and M. Ciesielski. "BDS: a BDD-based logic optimization system." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21, no. 7 (July 2002): 866–76. http://dx.doi.org/10.1109/tcad.2002.1013899.
Full textKLARLUND, NILS, ANDERS MØLLER, and MICHAEL I. SCHWARTZBACH. "MONA IMPLEMENTATION SECRETS." International Journal of Foundations of Computer Science 13, no. 04 (August 2002): 571–86. http://dx.doi.org/10.1142/s012905410200128x.
Full textHindley, J. Roger. "BCK and BCI logics, condensed detachment and the $2$-property." Notre Dame Journal of Formal Logic 34, no. 2 (March 1993): 231–50. http://dx.doi.org/10.1305/ndjfl/1093634655.
Full textSankar, S., and P. Srinivasan. "Energy and Load Aware Routing Protocol for Internet of Things." International Journal of Advances in Applied Sciences 7, no. 3 (August 1, 2018): 255. http://dx.doi.org/10.11591/ijaas.v7.i3.pp255-264.
Full textLi, Zheng, Diego Seco, and Alexis Sánchez Rodríguez. "Microservice-Oriented Platform for Internet of Big Data Analytics: A Proof of Concept." Sensors 19, no. 5 (March 6, 2019): 1134. http://dx.doi.org/10.3390/s19051134.
Full textShorstova, Tatiana, William D. Foulkes, and Michael Witcher. "Achieving clinical success with BET inhibitors as anti-cancer agents." British Journal of Cancer 124, no. 9 (March 15, 2021): 1478–90. http://dx.doi.org/10.1038/s41416-021-01321-0.
Full textNi, Haiyan, Jianping Hu, Xuqiang Zhang, and Haotian Zhu. "BDD-Based Topology Optimization for Low-Power DTIG FinFET Circuits." Active and Passive Electronic Components 2019 (July 18, 2019): 1–9. http://dx.doi.org/10.1155/2019/8292653.
Full textFernandez-Amoros, David, Sergio Bra, Ernesto Aranda-Escolástico, and Ruben Heradio. "Using Extended Logical Primitives for Efficient BDD Building." Mathematics 8, no. 8 (July 31, 2020): 1253. http://dx.doi.org/10.3390/math8081253.
Full textKubica, Marcin, and Dariusz Kania. "SMTBDD: New Form of BDD for Logic Synthesis." International Journal of Electronics and Telecommunications 62, no. 1 (March 1, 2016): 33–41. http://dx.doi.org/10.1515/eletel-2016-0004.
Full textGrygiel, K., P. M. Idziak, and M. Zaionc. "How big is BCI fragment of BCK logic." Journal of Logic and Computation 23, no. 3 (May 29, 2012): 673–91. http://dx.doi.org/10.1093/logcom/exs017.
Full textVemuri, Navin, Priyank Kalla, and Russell Tessier. "BDD-based logic synthesis for LUT-based FPGAs." ACM Transactions on Design Automation of Electronic Systems 7, no. 4 (October 2002): 501–25. http://dx.doi.org/10.1145/605440.605442.
Full textKao, Chi-Chou. "BDD-based synthesis for mixed CMOS/PTL logic." International Journal of Circuit Theory and Applications 39, no. 9 (April 29, 2010): 923–32. http://dx.doi.org/10.1002/cta.676.
Full textBibilo, P. N., and A. M. Pazniak. "The search for subsystems of related functions from multilevel representation of systems of Boolean functions1." Informatics 17, no. 1 (March 29, 2020): 63–77. http://dx.doi.org/10.37661/1816-0301-2020-17-1-63-77.
Full textKubica, Marcin, and Dariusz Kania. "Area–Oriented Technology Mapping for LUT–Based Logic Blocks." International Journal of Applied Mathematics and Computer Science 27, no. 1 (March 28, 2017): 207–22. http://dx.doi.org/10.1515/amcs-2017-0015.
Full textKubica, Marcin, Adam Opara, and Dariusz Kania. "Logic Synthesis Strategy Oriented to Low Power Optimization." Applied Sciences 11, no. 19 (September 22, 2021): 8797. http://dx.doi.org/10.3390/app11198797.
Full textBibilo, P. N., and V. I. Romanov. "Minimization of Binary Decision Diagrams for Systems of Completely Defined Boolean Functions using Algebraic Representations of Cofactors." INFORMACIONNYE TEHNOLOGII 27, no. 8 (August 11, 2021): 395–408. http://dx.doi.org/10.17587/it.27.395-408.
Full textBibilo, P. N., and V. I. Romanov. "Experimental Study of Algorithms for Minimization of Binary Decision Diagrams using Algebraic Representations of Cofactors." Programmnaya Ingeneria 13, no. 2 (February 17, 2022): 51–67. http://dx.doi.org/10.17587/prin.13.51-67.
Full textJun, Young Bae, and Xiao Long Xin. "Complex Fuzzy Sets with Application in BCK/BCI-Algebras." Bulletin of the Section of Logic 48, no. 3 (October 30, 2019): 173–85. http://dx.doi.org/10.18778/0138-0680.48.3.02.
Full textWobcke, Wayne. "A logic of intention and action for regular BDI agents based on bisimulation of agent programs." Autonomous Agents and Multi-Agent Systems 29, no. 4 (May 18, 2014): 569–620. http://dx.doi.org/10.1007/s10458-014-9263-3.
Full textBibilo, P. N., and V. I. Romanov. "Minimization of binary decision diagrams for systems of completely defined Boolean functions using Shannon expansions and algebraic representations of cofactors." Informatics 18, no. 2 (July 1, 2021): 7–32. http://dx.doi.org/10.37661/1816-0301-2021-18-2-7-32.
Full textKubica, Marcin, Adam Opara, and Dariusz Kania. "Logic synthesis for FPGAs based on cutting of BDD." Microprocessors and Microsystems 52 (July 2017): 173–87. http://dx.doi.org/10.1016/j.micpro.2017.06.010.
Full text