Search results for "Jan Broersen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jan Broersen	Making a Start with the stit Logic Analysis of Intentional Action.	J. Philosophical Logic	2011	DBLP DOI BibTeX RDF
1	Jan Broersen	Deontic epistemic stit logic distinguishing modes of mens rea.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Jan Broersen	Probabilistic Action and Deontic Logic - (Invited Talk).	CLIMA	2011	DBLP DOI BibTeX RDF
1	Jan Broersen	Modeling Attempt and Action Failure in Probabilistic STIT Logic.	IJCAI	2011	DBLP BibTeX RDF
1	Jan Broersen	Probabilistic Stit Logic.	ECSQARU	2011	DBLP DOI BibTeX RDF
1	Paolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer	Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.	DEON	2010	DBLP DOI BibTeX RDF
1	Jan Broersen	CTL.STIT: enhancing ATL to express important multi-agent system verification properties.	AAMAS	2010	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	What groups do, can do, and know they can do: an analysis in normal modal logics.	Journal of Applied Non-Classical Logics	2009	DBLP BibTeX RDF
1	Philippe Balbiani, Jan Broersen, Julien Brunel	Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini	Determining the environment: a modal logic for closed interaction.	Synthese	2009	DBLP DOI BibTeX RDF
1	Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer	An Update Operator for Strategic Ability.	LORI	2009	DBLP DOI BibTeX RDF
1	John-Jules Ch. Meyer, Jan Broersen (eds.)	Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers	KRAMAS	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata	Representing Excuses in Social Dependence Networks.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Jan Broersen	A stit-Logic for Extensive Form Group Strategies.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini	Strategic Ability Update: A Modal Logic Account.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Jan Broersen	A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.	DEON	2008	DBLP DOI BibTeX RDF
1	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini	A Deontic Logic for Socially Optimal Norms.	DEON	2008	DBLP DOI BibTeX RDF
1	Jan Broersen, Leendert van der Torre	Conditional Norms and Dyadic Obligations in Time.	ECAI	2008	DBLP DOI BibTeX RDF
1	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini	Organizing Coherent Coalitions.	ECAI	2008	DBLP DOI BibTeX RDF
1	Jan Broersen	A Complete STIT Logic for Knowledge and Action, and Some of Its Applications.	DALT	2008	DBLP DOI BibTeX RDF
1	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini	A Logic for Closed-World Interaction.	JELIA	2008	DBLP DOI BibTeX RDF
1	Jan Broersen	Issues in Designing Logical Models for Norm Change.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Jan Broersen, Leendert van der Torre	Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.	PRIMA	2008	DBLP DOI BibTeX RDF
1	Jan Broersen, Julien Brunel	'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Jan Broersen, Leendert W. N. van der Torre	What an Agent Ought To Do.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Jan Broersen, Julien Brunel	Preservation of obligations in a temporal and deontic framework.	AAMAS	2007	DBLP DOI BibTeX RDF	temporal logic, product, deontic logic
1	Jan Broersen, Leendert van der Torre	Reasoning about Norms, Obligations, Time and Agents.	PRIMA	2007	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	A normal simulation of coalition logic and an epistemic extension.	TARK	2007	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	From Coalition Logic to STIT.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
1	Jan Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	A STIT-Extension of ATL.	JELIA	2006	DBLP DOI BibTeX RDF
1	Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre	Beliefs, obligations, intentions, and desires as components in an agent architecture.	Int. J. Intell. Syst.	2005	DBLP DOI BibTeX RDF
1	Jan Broersen, Leendert W. N. van der Torre	Semantic Analysis of Chisholm's Paradox.	BNAIC	2005	DBLP BibTeX RDF
1	Laurens Winkelhagen, Mehdi Dastani, Jan Broersen	Beliefs in Agent Implementation.	DALT	2005	DBLP DOI BibTeX RDF
1	Jan Broersen	Action negation and alternative reductions for dynamic deontic logics.	J. Applied Logic	2004	DBLP DOI BibTeX RDF
1	Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer	Designing a Deontic Logic of Deadlines.	DEON	2004	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen	Specifying Multiagent Organizations.	DEON	2004	DBLP DOI BibTeX RDF
1	Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer	Meeting the Deadline: Why, When and How.	FAABS	2004	DBLP DOI BibTeX RDF
1	Jan Broersen	On the Logic of 'Being Motivated to Achieve rho, Before delta'.	JELIA	2004	DBLP DOI BibTeX RDF
1	Jan Broersen, Leendert W. N. van der Torre	What an Agent Ought To Do.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF
1	Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre	BDIOCTL: Obligations and the Specification of Agent Behavior.	IJCAI	2003	DBLP BibTeX RDF
1	Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre	Realistic desires.	Journal of Applied Non-Classical Logics	2002	DBLP BibTeX RDF
1	Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer	A Fixed-point Characterization of a Deontic Logic of Regular Action.	Fundam. Inform.	2002	DBLP BibTeX RDF
1	Jan Broersen	Relativized Action Complement for Dynamic Logics.	Advances in Modal Logic	2002	DBLP BibTeX RDF
1	Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa	The mutual exclusion problem in reasoning about action and change.	NMR	2002	DBLP BibTeX RDF
1	Jan Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre	Trust and Commitment in Dynamic Logic.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
1	Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer	A Fixed-point Characterization of a Deontic Logic of Regular Action.	Fundam. Inform.	2001	DBLP BibTeX RDF
1	Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre	The BOID architecture: conflicts between beliefs, obligations, intentions and desires.	Agents	2001	DBLP DOI BibTeX RDF
1	Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre	Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.	ECSQARU	2001	DBLP DOI BibTeX RDF
1	Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer	A Semantics for Persistency in Propositional Dynamic Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Jan Broersen, Roel Wieringa	A Logic for the Specification of Multi-Object Systems (Short Paper).	FMOODS	1999	DBLP BibTeX RDF
1	Jan Broersen, Remco Feenstra, Roel Wieringa	Minimal Semantics for Action Specifications in a Multi-modal Logic.	FMLDO	1996	DBLP BibTeX RDF

Publications of "Jan Broersen" ( http://dblp.L3S.de/Authors/Jan_Broersen )