yusuke1997/dblp-id-title huggingface dataset:
Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher
Logic in the Lab
Reasoning about Knowledge and Probability
Generalized inquisitive logic: completeness via intuitionistic Kripke models
Communication, consensus, and order.: Who wants to speak first?
The Learning Power of Belief Revision
Explaining quantity implicatures
Knowledge and Communication
Necessary and sufficient conditions for the strategyproofness of irresolute social choice functions
The Shape of Reactive Coordination Tasks
An Axiomatic Approach to the Logical Omniscience Problem
Merging frameworks for interaction: DEL and ETL
Nonmonotonic Default Modal Logics
Iterated backward inference: an algorithm for proper rationalizability
Weights in stable marriage problems increase manipulation opportunities
Realisability Semantics for Error-Tolerant Logics
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Planning, Learning and Coordination in Multiagent Decision Processes
Epistemic Logic for Communication Chains
Agreeing to Disagree After All
The Modal Logic of Probability
Consistent Belief Reasoning in the Presence of Inconsistency
Questions in decision theory
The Absent-Minded Driver
Hypothetical Knowledge and Counterfactual Reasoning
Reasoning About Knowledge: A Tutorial
Common Knowledge in Economics
Symbolic model checking of probabilistic knowledge
Incorporating unawareness into contract theory
Evolutionary Foundations of Solution Concepts for Finite, Two-Player, Normal-Form Games
Utility-based Decision-making in Distributed Systems Modelling
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
Is It Rational to be Logical?
PDL as a Multi-Agent Strategy Logic
Characterizing Distributed Systems Using Knowledge-Based Models
Rationality in the Centipede
Incentive compatible multi unit combinatorial auctions
Steps Towards a First-Order Logic of Explicit and Implicit Belief
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994
Order independence and rationalizability
Ceteris Paribus Structure in Logics of Game Forms
Varieties of Self-Reference
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013
Belief Change and Dependence
Logical omniscience as a computational complexity problem
Resource-bounded Knowledge
Defeasible Modalities
Understanding human strategies for change: an empirical study
Autoepistemic Modal Logics
Conditional, Hierarchical, Multi-Agent Preferences
The Consistency of Syntactical Treatments of Knowledge
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy
Theorems and unawareness
A Knowledge-Based Framework for Belief change, Part I: Foundations
Foundations of non-commutative probability theory
Intra-Agent Modality and Nonmonotonic Epistemic Logic
A logical characterization of iterated admissibility
Deriving epistemic conclusions from agent architecture
The Ex-Ante Non-Optimality of the Dempster-Schafer Updating Rule for Ambiguous Beliefs (A Commentary on "Updating Ambiguous Beliefs' by Gilboa and Schmeidler)
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996
Nexttime is not Necessary
Inductive Learning, Knowledge Asymmetries and Convention
Agreeing to disagree type results under ambiguity
Probabilistic algorithmic knowledge
Practical Utility of Knowledge-Based Analyses
Three Views of Common Knowledge
Individual error, group error, and the value of information
Perfect recall of imperfect knowledge
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
Distance Semantics for Belief Revision
Continuous consensus via common knowledge
A ternary knowledge relation on secrets
Three procedures for inducing honesty in bargaining
Belief Revision and Rationalizability
Costly Acquisition of (Differentiated) Information
Doxastic Paradoxes without Self-Reference
Panel: Locality vs. Rationality
Dynamic Models of Deliberation and the Theory of Games
Representing Knowledge in Learning Systems by Pseudo Boolean Functions
Knowledge and Efficient Computation
Strategic voting and the logic of knowledge
Quantified Beliefs and Believed Quantities (Invited Talk)
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic
Sum of us: strategyproof selection from the selectors
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992
Perspectives on Bounded Rationality
First-order classical modal logic: applications in logics of knowledge and probability
Implementing Knowledge-Based Programs
Games in system design and verification
Deciding knowledge properties of security protocols
Hybrid-Logical Reasoning in False-Belief Tasks
Being polite is a handicap: towards a game theoretical analysis of polite linguistic behavior
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
Recent Issues in Reasoning about Knowledge
Convergence of behavior in social networks
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic
Dynamic models of coalition formation: fallback vs. build-up
Rationalizability and minimal complexity in dynamic games
Belief Revision in a changing World
On Epistemic Logic and Logical Omniscience
On the Logic of iterated Belief Revision
A Framework for Intuitionistic Modal Logics
Complexity results for logics of local reasoning and inconsistent belief
Generalized solution concepts in games with possibly unaware players
No regrets: or: Edith Piaf revamps decision theory
Categorical cognition: a psychological model of categories and identification in decision making: extended abstract
Harsanyi type spaces with knowledge operators
Equivalence of the information structure with unawareness to the logic of awareness
Unconditional privacy in social choice
Belief Revision and Knowledge Representation
Causation, Action and Counterfactuals
Evidence elimination in multi-agent justification logic
Reasoning About Knowledge: An Overview
Rationality Postulates for Induction
The Synthesis of Digital Machines With Provable Epistemic Properties
Hidden protocols
Bounded rationality in a dynamic alternate game
Simulative Inference About Nonmonotonic Reasoners
Robust equilibria under non-common priors
Semantics for multi-agent only knowing: extended abstract
Imaging and Sleeping Beauty: a case for double-halfers
Knowledge in quantum systems
Approximate Reasoning and Non-Omniscient Agents
Reaching Consensus on Decisions
A Resolution Method for Quantified Modal Logics of Knowledge and Belief
A New Model for Inductive Inference
Inexact knowledge, margin for error and positive introspection
Timely Common Knowledge
Information Acquisition from Multi-agent Resources
Commonsense reasoning by distance semantics
Decision-theoretic entropy
The semantics of preference-based belief operators
Cooperation and coordination in the turn-taking dilemma
Preferential Logics: the Predicate Calculus Case
Sigma algebras in probabilistic epistemic dynamics
Comments on "Knowledge, Representation, and Rational Self-Government"
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011
Message passing in a dynamic epistemic logic setting
Alternating-time temporal logics with irrevocable strategies
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005
Coherent Belief Revision in Games
Actual Truth, Possible Knowledge
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
The Logic of Distributed Protocols
Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?
Common knowledge in interaction structures
Knowledge-based modelling of voting protocols
Zero Knowledge Interactive Proofs of Knowledge (A Digest)
Characterizing the Common Prior Assumption
Infinitary Epistemic Logic
Epistemic Logic: From Knowledge to Cognition
Towards a general theory of non-cooperative computation
Games, geometry, and the computational complexity of finding equilibria
Game Theory with Translucent Players
Circumscription in a Modal Logic
Common knowledge in update logics
The dynamics of reputation systems
Reasoning About Knowledge in Artificial Intelligence
Exponential communication inefficiency of demand queries
Knowledge, Action, and Ability in the Situation Calculus
Common Knowledge and Backward Induction: A Solution to the Paradox
Logicians Who Reason About Themselves
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007
On distance rationalizability of some voting rules
Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), Certosa di Pontignano, University of Siena, Italy, July 8-10, 2001
Alternating-time temporal logic with explicit strategies
Vote manipulation in the presence of multiple sincere ballots
A Theory of Higher Order Probabilities
A Note on the Consistency of Game Theory
Evaluating Qptions in a Context
Designing markets: economics, computer science and the real world
BMS revisited
Congestion games with variable demands
Dealing with logical omniscience
A note on a generalization of the Muddy Children puzzle
Distributed Games
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998
A canonical model for interactive unawareness
Knowledge, Representation, and Rational Self-Government
Generalized Kripke Models for Epistemic Logic
The Complexity of Online Manipulation of Sequential Elections
Compilation and communication protocols for voting rules with a dynamic set of candidates
Interaction Games: A Unified Analysis of Incomplete Information and Local Interaction
Revisions of Knowledge Systems Using Epistemic Entrenchment
A normal simulation of coalition logic and an epistemic extension
Reasoning about Belief and Knowledge with Self-Reference and Time
Learning, regret minimization and option pricing
The synchronicity of dynamic epistemic logic
A Game-Theoretic Account of Implicature
The complexity of manipulative attacks in nearly single-peaked electorates
Infinitely Many Resolutions of Hempel's Paradox
Topological Reasoning and The Logic of Knowledge
Belief revision as a truth-tracking process
Intentional Paradoxes and an Inductive Theory of Propositional Quantification
Revising Knowledge: a Hierarchical Approach
A Tractable Knowledge Representation Service with Full Introspection
Pegs and Alecs
Foundations of Knowledge for Distributed Systems
Reasoning about justified belief
Pure Nash equilibria: hard and easy games
Complete Information Outcomes without Common Knowledge
Knowledge and the Ordering of Events in Distributed Systems
Knowledge at Equilibrium
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009
Knowledge Consistency: A Useful Suspension of Disbelief
Inductive inference as ampliative and non monotonic reasoning
Knowledge, proof and the Knower
Syntactic foundations for unawareness of theorems
Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments
An Architecture for Heterogeneous Reasoning (Invited Talk)
The Knower's Paradox and Representational Theories of Attitudes
Semantics for Conditionals
Unawareness, beliefs and games
Agreement theorems in dynamic-epistemic logic
Enumerative induction
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5
Modal Logic S4F and The Minimal Knowledge Paradigm
Theoretical Foundations for Belief Revision
Knowledge as a Tool in Motion Planning and Uncertainty
Unawareness and strategic announcements in games with uncertainty
Backwards Forward Induction
Knowledge and the Logic of Local Propositions
On the Strategic Advantages of a Lack of Common Knowledge
How many candidates are needed to make elections hard to manipulate?
Decisions under subjective information
The communication cost of selfishness: ex post implementation
Considerations on the logic of intention
Value-based contraction: a representation result
A Guide to Knowledge and Games
Judgment aggregation and the problem of truth-tracking
A First Order Theory of Planning, Knowledge, and Action
Games and Conditionals
Generalized arrow update logic
Epistemic analysis of strategic games with arbitrary strategy sets
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
Algorithmic Knowledge
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision
Sequential voting rules and multiple elections paradoxes
Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach"
Judgment aggregation rules based on minimization
Limit knowledge of rationality
Verifying epistemic protocols under common knowledge
R.E. Axiomatization of Conditional Independence
Paradoxes and Semantic Representation
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988
Explanatory Belief Ascription
Multiple Mental Attitudes in Agents
Incentive Constraints and Optimal Communication Systems
Facebook and the epistemic logic of friendship
Bilattices and Modal Operators
Ambiguity Made Precise: A Comparative Foundation
A flexible mechanism for dialogue design
Iterated abduction and conditional coherence
Deludedly Agreeing to Agree
On the Complexity of Dynamic Epistemic Logic
Understanding Common Priors under Incomplete Information
Program equilibria and discounted computation time
An epistemic characterization of zero knowledge
The computational complexity of choice sets
Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003
Reasoning About Knowledge in Economics
Universal Interactive Preferences
Stochastic uncoupled dynamics and nash equilibrium: extended abstract
Economics and Game Theory Perspective
Autoepistemic Logic and Introspective Circumscription
Known unknowns: time bounds and knowledge of ignorance
When is an example a counterexample?
Limited verification of identities to induce false-name-proofness
Common Knowledge Revisited
A computational theory of awareness and decision making
Operational Pointer Semantics: Solution to Self-Referential Puzzles I
Common Knowledge and Update in Finite Enviromnents I
Exploring a theory of play
On Play by Means of Computing Machines
A Knowledge Theoretic Account of Recovery in Distributed Systems: The Case of Negotiated Commitment
Rationality and the speed of decision-making
Belief liberation (and retraction)
Projective expected utility: a subjective formulation
On epistemic logic with justification
Logic and Choice
Changing Conditional Belief Unconditionally
Dynamic restriction of choices: a preliminary logical report
Connections of coalgebra and semantic modeling
Epistemic Semantics for Fixed-Points Non-Monotonic Logics
On the Interpretation of Decision Problems with Imperfect Recall
Aggregating partially ordered preferences: impossibility and possibility results
A Nonstandard Approach to the Logical Omniscience Problem
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990
On Ambiguities in the Interpretation of Game Trees
Some Results on Consensus
Economic efficiency versus complexity communication
Origins of epistemics
On Perfect Introspection With Quantifying-in
The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge
K-SNCC: group deviations in subsidized non-cooperative computing
Strategic communication
Preservation of epistemic properties in security protocol implementations
The Challenges of Merging Two Similar Structured Overlays: A Tale of Two Networks
A Family of Encounter-Based Broadcast Protocols for Mobile Ad-Hoc Networks
Reducing Problems in Providing Internet Connectivity for Mobile Ad Hoc Networks
Combining Virtual and Physical Structures for Self-organized Routing
Analytical Evaluation of the Overhead Generated by a Routing Scheme with Subnets for MANETs
Location Management Based on the Mobility Patterns of Mobile Users
Wireless Systems and Mobility in Next Generation Internet, First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004, Revised Selected Papers
Receiver Oriented Trajectory Based Forwarding
Admission Control in the Downlink of WCDMA/UMTS
Investigating Global Behavior in Computing Grids
Performance Evaluation of Overlay-Based Range Queries in Mobile Systems
Service Level Agreement Enforcement for Differentiated Services
A Low Computation Cost Algorithm to Solve Cellular Systems with Retrials Accurately
Enabling Mobile Peer-to-Peer Networking
Achieving Flow Isolation in 802.11 Networks with the DTT Scheduler
Performance of Different Proxy Concepts in UMTS Networks
Dynamic Resource Allocation in Quality of Service Networks
Interference-Aware Channel Assignment in Wireless Mesh Networks
MIPv6 Binding Authentication for B3G Networks
Secure and Efficient Data Collection in Sensor Networks
TrafficNet: A L2 Network Architecture for Road-to-Vehicle Communication
Connectivity Gateway Discovery in MANETs
A Seamless Vertical Handover Approach
Self-protection in P2P Networks: Choosing the Right Neighbourhood
Autonomic Network Management for Wireless Mesh and MANETs
Wireless Systems and Mobility in Next Generation Internet, Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers
Performance of Internet Access Solutions in Mobile Ad Hoc Networks
On-Demand Distributed Energy-Aware Routing with Limited Route Length
Automatic Data Locality Optimization Through Self-optimization
Autonomic Security for Home Networks
Feasible Load Regions for Different RRM Strategies for the Enhanced Uplink in UMTS Networks
On the Performance of Mobile IP in Wireless LAN Environments
Admission Region of Multimedia Services for EDCA in IEEE 802.11e Access Networks
Notes on Implementing a IEEE 802.11s Mesh Point
Optimization Models for Application Migration to Support Mobile Thin Clients
Measurements of IEEE 802.11g-Based Ad-Hoc Networks in Motion
Ubiquitous Zone Networking Technologies for Multi-hop Based Wireless Communications
Adaptive QoS Reservation Scheme for Ad-Hoc Networks
The Throughput Utility Function: Assessing Network Impact on Mobile Services
On the Shaping Introduced by IEEE 802.11 Nodes in Long-Range Dependent Traffic
Optimization Models for Designing Aggregation Networks to Support Fast Moving Users
Active Element Network with P2P Control Plane
Autonomic Management of Edge Servers
Performance Analysis of Wireless Multihop Data Networks
Making Self-organizing Systems Secure
A Monitoring Infrastructure for the Digital on-demand Computing Organism (DodOrg)
Evaluation of a Cooperative ARQ Protocol for Delay-Tolerant Vehicular Networks
Cross Layer Routing and Medium Access Control with Channel Dependant Forwarding in Wireless Ad-Hoc Networks
An Afterstates Reinforcement Learning Approach to Optimize Admission Control in Mobile Cellular Networks
P2P-Based Mobility Management for Heterogeneous Wireless Networks and Mesh Networks
Optimizing Locality for Self-organizing Context-Based Systems
Joint Connection and Packet Level Analysis in W-CDMA Radio Interface
Integrating MPLS and Policy Based Management Technologies in Mobile Environment
Wireless Systems and Network Architectures in Next Generation Internet, Second International Workshop of the EURO-NGI Network of Excellence, Villa Vigoni, Italy, July 13-15, 2005, Revised Selected Papers
Algorithms for WLAN Coverage Planning
Job Scheduling for Maximal Throughput in Autonomic Computing Systems
Subnet Formation and Address Allocation Approach for a Routing with Subnets Scheme in MANETs
Efficiency of Search Methods in Dynamic Wireless Networks
Modelling the Population Dynamics and the File Availability in a BitTorrent-Like P2P System with Decreasing Peer Arrival Rate
An Energy-Efficient Low-Latency Multi-sink MAC Protocol for Alarm-Driven Wireless Sensor Networks
A Bio-inspired Approach for Self-protecting an Organic Middleware with Artificial Antibodies
Performance Evaluation of DTSN in Wireless Sensor Networks
Using Decentralized Clustering for Task Allocation in Networks with Reconfigurable Helper Units
Image Recognition Traffic Patterns for Wireless Multimedia Sensor Networks
Framework for Resource Allocation in Heterogeneous Wireless Networks Using Game Theory
Network Selection Box: An Implementation of Seamless Communication
Hierarchical Admission Control in Mobile Cellular Networks Using Adaptive Bandwidth Reservation
Some Game-Theoretic Problems in Wireless Ad-Hoc Networks
Cross-Layer Approach to Detect Data Packet Droppers in Mobile Ad-Hoc Networks
Stability and Dynamics of TCP-NCR(DCR) Protocol in Presence of UDP Flows
Performance of Hierarchical Cellular Networks with Overlapping Cells
Defending Grids Against Intrusions
Performance Evaluation of a Dynamic Medium Access Control Scheme for Mobile Ad-Hoc Networks
A Reservation Scheme Satisfying Bandwidth QoS Constraints for Ad-Hoc Networks
A Protocol Stack for Cooperative Wireless Networks
Optimizing Routing Schemes for Fast Moving Users in MST-Based Networks
Hovering Data Clouds: A Decentralized and Self-organizing Information System
Teletraffic Performance Analysis of Multi-class OFDM-TDMA Systems with AMC
Self-Organizing Systems, First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006, Proceedings
Proposal for Self-organizing Information Distribution in Peer-to-Peer Networks
Wireless Systems and Mobility in Next Generation Internet, 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence, Barcelona, Spain, January 16-18, 2008, Revised Selected Papers
Self-organising Networks: Panacea or Pandora's Box?
Self-tuned Refresh Rate in a Swarm Intelligence Path Management System
Measurement of Application-Perceived Throughput of an E2E VPN Connection Using a GPRS Network
On the Interactions Between TCP Westwood and the AODV Routing Protocol
The Case for Virtualized Wireless Access Networks
Scenarios for Mobile Community Support
Admission Control Policies in Multiservice Cellular Networks: Optimum Configuration and Sensitivity
Trunk Reservation in Multi-service Networks with BPP Traffic
ORCA - Towards an Organic Robotic Control Architecture
A P2P-Based Framework for Distributed Network Management
Diffusion Approximation Model for the Distribution of Packet Travel Time at Sensor Networks
Power-Controlled Directional Medium Access Control for Wireless Mesh Networks
Modelling Restricted Accessibility for Wireless Multi-service Systems
Interference Estimation for the HSDPA Service in Heterogeneous UMTS Networks
Effects of WLAN QoS Degradation on Streamed MPEG4 Video Quality
DiffServ in Ad Hoc Networks
Time-Discrete Analysis of the Crawling Strategy in an Optimized Mobile P2P Architecture
A Hybrid Model of the UMTS Downlink Capacity with WWW Traffic on Dedicated Channels
The State of the Art in Cross-Layer Design for Wireless Sensor Networks
Randomized Self-stabilizing Algorithms for Wireless Sensor Networks
Minimizing Interference in TDMA MAC Protocols for WSN Operating in Shadow-Fading Channels
On the Fractional Movement-Distance Based Scheme for PCS Location Management with Selective Paging
Efficient Implementation of an Algebraic Specification Language
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]
How to Make Algebraic Specifications More Understandable?
The RAP System as a Tool for Testing COLD Specifications
Inheritance in COLD
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects
An Introduction to COLD-K
Design of a Specification Language by Abstract Syntax Engineering