共 50 条
- [31] A Logic-Based Physical Simulation Framework for Digital Microfluidic Biochips EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2024, PT II, 2025, 15227 : 1 - 16
- [32] Agent Factory: A Framework for Prototyping Logic-Based AOP Languages MULTIAGENT SYSTEM TECHNOLOGIES, 2011, 6973 : 125 - +
- [33] LARS: A Logic-Based Framework for Analyzing Reasoning over Streams PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1431 - 1438
- [34] A logic-based framework for mobile multi-agent systems INTERNATIONAL CONFERENCE ON INTEGRATION OF KNOWLEDGE INTENSIVE MULTI-AGENT SYSTEMS: KIMAS'03: MODELING, EXPLORATION, AND ENGINEERING, 2003, : 754 - 759
- [35] HEngineering Hoare Logic-based Program Verification in K Framework 2013 15TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2013), 2014, : 177 - 184
- [36] A multi-attribute and logic-based framework of ontology alignment Advances in Intelligent Systems and Computing, 2013, 183 AISC : 99 - 108
- [38] Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6426 - 6434
- [39] A probabilistic logic-based framework for characterizing knowledge discovery in databases FOUNDATIONS OF DATA MINING AND KNOWLEDGE DISCOVERY, 2005, 6 : 87 - 100
- [40] A Logic-Based Framework for Reasoning about Composite Data Structures CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 178 - +