Search Results for author:
Found 3 papers, 0 papers with code
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
The key ingredient of the logic are path quantifiers specifying that some coalition of agents has a joint strategy to enforce a given goal.
Argumentation Schemes for Blockchain Deanonymization
Ultimately, we envision that using our schemes in legal practice can solidify the evidential value of blockchain investigations as well as uncover and help address uncertainty in underlying premises - thus contributing to protect the rights of those affected by cryptocurrency forensics.
Common Knowledge of Abstract Groups
That is, AGEL features a common knowledge operator for groups of agents given by concepts in a separate agent logic that we keep generic, with one possible agent logic being ALC.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
