Keyphrases
Multi-agent Systems
74%
Agent Programming Languages
43%
Coalition Logic
39%
Alternating-time Temporal Logic
38%
Reasoner
35%
Complete Axiomatization
30%
Resource-bounded Agents
29%
Belief Revision
28%
Crowdsourcing
28%
Spatial Logic
26%
Bounded Resources
25%
Modal Logic
24%
Spatial Data
24%
Axiomatization
24%
Operational Semantics
23%
Satisfiability Problem
23%
Liveness Properties
22%
AgentSpeak
21%
Rule-based Agent
21%
Resource Binding
20%
Resource Requirements
20%
Safety Properties
20%
Decidable Logic
20%
Simple Agents
20%
Transition System
19%
Decidable Model
18%
Norm Violation
18%
Epistemic Logic
18%
Agent Behavior
17%
Correctness Properties
17%
Cognitive Agents
17%
Open multi-agent Systems
16%
Crowdsourced Data
16%
NP-complete
16%
Verification of multi-agent Systems
16%
Spatial Objects
16%
Logic-based
15%
Time Norms
15%
BDI Agents
15%
Resource Logics
15%
Group Responsibility
15%
Generalized Quantifiers
15%
Reasoning Agents
15%
Coalition Announcement Logic
15%
Norm Revision
15%
Group Announcement Logic
15%
Modal
15%
Representation Theorem
14%
Checking Algorithm
14%
Memory Time
13%
Computer Science
Multi Agent Systems
100%
Axiomatization
76%
Model Checking
66%
Temporal Logic
66%
Model Checking Problem
49%
Programming Language
35%
Belief Revision
30%
Satisfiability Problem
30%
multi agent
30%
Resource Requirement
27%
Liveness Property
27%
Operational Semantics
27%
Model Checking Algorithm
25%
model checker
20%
Syntactics
20%
agent architecture
20%
Transition System
19%
Spatial Object
17%
Cognitive Agent
17%
Geospatial Data
16%
Geospatial Datasets
15%
Normative System
15%
Decision-Making
15%
Ontology
15%
Sequent Calculus
15%
Experimental Result
13%
Communication Resource
12%
Time Requirement
12%
Computational Resource
12%
Complexity Result
12%
Execution Strategy
12%
Open Environment
10%
Scheduling Algorithm
10%
Agent Framework
10%
Memory Bandwidth
10%
Communication Bandwidth
10%
Reasoning Strategy
10%
Explicit Representation
10%
Agent Platform
10%
Normal Modal Logic
10%
Rule Application
10%
Tree Search
10%
Soft Constraint
10%
Free Variable
10%
Key Information
10%
Problem Complexity
10%
Memory Resource
10%
Formalization
10%
Automaton
10%
Prove Completeness
10%
