Where logic and agents meet (Q657584): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-010-9223-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2104309040
@@ Property / OpenAlex ID: W2104309040 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q98283572
@@ Property / Wikidata QID: Q98283572 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification from Declarative Specifications Using Logic Programming
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A reasoning model based on the production of acceptable arguments
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
+Normal rank
@@ Property / cites work @@
+Programming rational agents in a modal action logic
+Normal rank
@@ Property / cites work @@
+Model checking multi-agent systems with logic based Petri nets
+Normal rank
@@ Property / cites work @@
+Q4209291
@@ Property / cites work: Q4209291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure agents
@@ Property / cites work: Secure agents / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Agent Programming
@@ Property / cites work: Multi-Agent Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Agent Programming
@@ Property / cites work: Multi-Agent Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Property-based Slicing for Agent Verification
@@ Property / cites work: Property-based Slicing for Agent Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Multi-Agent Systems in AgentSpeak usingJason
+Normal rank
@@ Property / cites work @@
+Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Tools for Argumentation
@@ Property / cites work: Nonmonotonic Tools for Argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Logics of Strategic Ability: Complexity*
+Normal rank
@@ Property / cites work @@
+Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
+Normal rank
@@ Property / cites work @@
+On the (un-)decidability of model-checking resource-bounded agents
+Normal rank
@@ Property / cites work @@
+Q5192925
@@ Property / cites work: Q5192925 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal properties of rational play
+Normal rank
@@ Property / cites work @@
+Cooperation and competition in ALIAS: A logic framework for agents that negotiate
+Normal rank
@@ Property / cites work @@
+Go! -- A multi-paradigm programming language for implementing multi-threaded agents
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+Agents and Computational Autonomy
@@ Property / cites work: Agents and Computational Autonomy / rank @@
+Normal rank
@@ Property / cites work @@
+The First Contest on Multi-agent Systems Based on Computational Logic
+Normal rank
@@ Property / cites work @@
+The Second Contest on Multi-Agent Systems Based on Computational Logic
+Normal rank
@@ Property / cites work @@
+Specification and Verification of Multi-agent Systems
+Normal rank
@@ Property / cites work @@
+A verification framework for agent programming with declarative goals
+Normal rank
@@ Property / cites work @@
+Q4799289
@@ Property / cites work: Q4799289 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous temporal probabilistic agents
@@ Property / cites work: Heterogeneous temporal probabilistic agents / rank @@
+Normal rank
@@ Property / cites work @@
+Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16--17, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+IMPACTing SHOP: Putting an AI planner into a multi-agent environment
+Normal rank
@@ Property / cites work @@
+Mental states as multi-context systems
@@ Property / cites work: Mental states as multi-context systems / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Agent deliberation in an executable temporal framework
+Normal rank
@@ Property / cites work @@
+Executing Logical Agent Specifications
@@ Property / cites work: Executing Logical Agent Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Agents’ Conformance with Multiparty Protocols
+Normal rank
@@ Property / cites work @@
+Specifying and verifying interaction protocols in a temporal action logic
+Normal rank
@@ Property / cites work @@
+Multilanguage hierarchical logics, or: How we can do without modal logics
+Normal rank
@@ Property / cites work @@
+Multi-agent systems specification and certification: a situation and state calculus approach
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Agents via mixed-mode computation in linear logic
@@ Property / cites work: Agents via mixed-mode computation in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473080
@@ Property / cites work: Q4473080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536748
@@ Property / cites work: Q4536748 / rank @@
+Normal rank
@@ Property / cites work @@
+Speculative computation through consequence-finding in multi-agent environments
+Normal rank
@@ Property / cites work @@
+Model checking abilities of agents: a closer look
@@ Property / cites work: Model checking abilities of agents: a closer look / rank @@
+Normal rank
@@ Property / cites work @@
+Q4387999
@@ Property / cites work: Q4387999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624165
@@ Property / cites work: Q3624165 / rank @@
+Normal rank
@@ Property / cites work @@
+From logic programming towards multi-agent systems
+Normal rank
@@ Property / cites work @@
+Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents
+Normal rank
@@ Property / cites work @@
+On the Expressiveness and Complexity of ATL
@@ Property / cites work: On the Expressiveness and Complexity of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433599
@@ Property / cites work: Q4433599 / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Remote Agent: to boldly go where no AI system has gone before
+Normal rank
@@ Property / cites work @@
+Algebras for agent norm-regulation
@@ Property / cites work: Algebras for agent norm-regulation / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation in multi-agent systems. Fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised selected and invited papers
+Normal rank
@@ Property / cites work @@
+A formal analysis of interest-based negotiation
@@ Property / cites work: A formal analysis of interest-based negotiation / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Decision procedures for BDI logics
@@ Property / cites work: Decision procedures for BDI logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of deliberation in IndiGolog -- from theory to implementation
+Normal rank
@@ Property / cites work @@
+Q4252252
@@ Property / cites work: Q4252252 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent dynamic logics with informational test
+Normal rank
@@ Property / cites work @@
+Representing von Neumann-Morgenstern games in the situation calculus
+Normal rank
@@ Property / cites work @@
+A semantics for speech acts
@@ Property / cites work: A semantics for speech acts / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Rapid prototyping of large multi-agent systems through logic programming
+Normal rank
@@ Property / cites work @@
+Q3624076
@@ Property / cites work: Q3624076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756785
@@ Property / cites work: Q2756785 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of rational agency
@@ Property / cites work: Foundations of rational agency / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
+Normal rank