2019 |
Du, Heshan and Alechina, Natasha (2019). "Qualitative Spatial Logic over 2D Euclidean Spaces is Not Finitely Axiomatisable." Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19).
| bib |
|
|
|
Alechina, Natasha, Brazdil, Tomas, De Giacomo, Giuseppe, Felli, Paolo, Logan, Brian, and Vardi, Moshe Y. (2019). "Unbounded Orchestrations of Transducers for Manufacturing." Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19).
| bib |
|
|
|
|
2018 |
Natasha Alechina, Joseph Halpern, Ian Kash, and Brian Logan (2018). "Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems." Journal of Artificial Intelligence Research, 62, 433-458.
| bib |
|
|
|
Giuseppe De Giacomo, Moshe Vardi, Paolo Felli, Natasha Alechina, and Brian Logan (2018). "Synthesis of Orchestrations of Transducers for Manufacturing." Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) (pp. 6161-6168).
| bib |
|
|
|
Rustam Galimullin and Natasha Alechina (2018). "Coalition and Group Announcement Logic."
CoRR abs/1810.02769.
| bib |
|
|
|
Rustam Galimullin, Natasha Alechina, and Hans van Ditmarsch (2018). "Model Checking for Coalition Announcement Logic." KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings (pp. 11-23).
| bib |
|
|
|
Natasha Alechina, Nils Bulling, Stephane Demri, and Brian Logan (2018). "On the complexity of resource-bounded logics." Theoretical Computer Science, 750, 69-100.
| bib |
|
|
|
Natasha Alechina and Brian Logan (2018). "Resource Logics with a Diminishing Resource."
| bib |
|
|
|
|
2017 |
Rustam Galimullin and Natasha Alechina (2017). "Coalition and Group Announcement Logic." Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017 (pp. 207-220).
Note that there is a mistake in the completeness proof, corrected in CoRR abs/1810.02769 (2018).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2017). "Model-checking for Resource-Bounded ATL with production and consumption of resources." Journal of Computer and System Sciences, 88, 126-144.
| bib |
|
|
|
Alechina, Natasha, Halpern, Joseph Y., and Logan, Brian (2017). "Causality, Responsibility and Blame in Team Plans." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).
| bib |
|
|
|
Natasha Alechina, Joe Halpern, Ian Kash, and Brian Logan (2017). "Incentivising Monitoring in Open Normative Systems." Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017) .
| bib |
|
|
|
Heshan Du, Natasha Alechina, Michael Jackson, and Glen Hart (2017). "A Method for Matching Crowd-sourced and Authoritative Geospatial Data." Trans. GIS, 21(2), 406-427.
| bib |
|
|
|
Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2017). "Fair decomposition of group obligations." Journal of Logic and Computation.
| bib |
|
|
|
Natasha Alechina, Nils Bulling, Brian Logan, and Hoang Nga Nguyen (2017). "The virtues of idleness: A decidable fragment of resource agent logic." Artificial Intelligence, 245, 56-85.
| bib |
|
|
|
|
2016 |
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, and Brian Logan (2016). "Decentralised Norm Monitoring in Open Multi-Agent Systems." Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (pp. 1399-1400).
| bib |
|
|
|
Natasha Alechina, Nils Bulling, St\'ephane Demri, and Brian Logan (2016). "On the Complexity of Resource-Bounded Logics." Reachability Problems - 10th International Workshop, RP 2016, Proceedings (pp. 36-50).
| bib |
|
|
|
Heshan Du and Natasha Alechina (2016). "Qualitative Spatial Logics for Buffered Geometries." J. Artif. Intell. Res. (JAIR), 56, 693-745.
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, and Brian Logan (2016). "Verifying Existence of Resource-Bounded Coalition Uniform Strategies." Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (pp. 24-30).
| bib |
|
|
|
Natasha Alechina and Brian Logan (2016). "Verifying Systems of Resource-Bounded Agents." Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings (pp. 3-12).
| bib |
|
|
|
|
2015 |
Nguyen, Hoang Nga, Natasha Alechina, Brian Logan, and Abdur Rakib (2018). "Alternating-time temporal logic with resource bounds." Journal of Logic and Computation, 28(4), 631-663.
| bib |
|
|
|
Natasha Alechina, Fenrong Liu, and Brian Logan (2018). "Efficient minimal preference change." Journal of Logic and Computation, 28(8), 1715-1733.
To appear.
| bib |
|
|
|
Natasha Alechina, Nils Bulling, Brian Logan, and Nguyen, Hoang Nga (2015). "On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2015). "Symbolic Model-Checking for One-Resource RB+-ATL." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
| bib |
|
|
|
Natasha Alechina, Nils Bulling, Mehdi Dastani, and Brian Logan (2015). "Practical Run-Time Norm Enforcement with Bounded Lookahead." Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (pp. 443-451).
| bib |
|
|
|
Heshan Du, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, and John Goodwin (2015). "Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data." Proceedings of IAAI 2015 (pp. 3948-3953).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2015). "Coalition Logic with Individual, Distributed and Common Knowledge." Journal of Logic and Computation.
To appear.
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2015). "Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection." In Modality, Semantics and Interpretations. The Second Asian Workshop on Philosophical Logic, Springer (pp. 1-22).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi (2015). "Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources." CoRR, abs/1504.06766.
| bib |
|
|
|
|
2014 |
Heshan Du and Natasha Alechina (2014). "A Logic of Part and Whole for Buffered Geometries." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 997-998).
| bib |
|
|
|
Heshan Du and Natasha Alechina (2014). "A Logic of Part and Whole for Buffered Geometries." STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium (pp. 91-100).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2014). "Decidable Model-Checking for a Resource Logic with Production of Resources." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. "9-14", ).
| bib |
|
|
|
Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2014). "Fair Allocation of Group Tasks According to Social Norms." Computational Logic in Multi-Agent Systems, 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 (pp. 19-34).
| bib |
|
|
|
Lee, JeeHang, Julian Padget, Brian Logan, Daniela Dybalova, and Natasha Alechina (2014). "N-Jason: Run-Time Norm Compliance in AgentSpeak(L)." Proceedings of the 2nd International Workshop on Engineering Multi-agent Systems (EMAS 2014).
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, and Brian Logan (2014). "Norm Approximation for Imperfect Monitors." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 117-124).
| bib |
|
|
|
Natasha Alechina, Fenrong Liu, and Brian Logan (2014). "Postulates and a linear-time algorithm for minimal contraction of preferences." Proceedings of the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2014).
| bib |
|
|
|
JeeHang Lee, Julian Padget, Brian Logan, Daniela Dybalova, and Natasha Alechina (2014). "Run-Time Norm Compliance in BDI Agents (Extended Abstract)." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 1581-1582).
| bib |
|
|
|
Doan, Thu Trang, Yuan Yao, Natasha Alechina, and Brian Logan (2014). "Verifying Heterogeneous Multi-Agent Programs." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 149-156).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2014). "A Logic for Reasoning About Knowledge of Unawareness." Journal of Logic, Language and Information, 23(2), 197-217.
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2014). "Formal Models of Awareness." Journal of Logic, Language and Information, 23(2), 105-106.
| bib |
|
|
|
|
2013 |
Natasha Alechina, Fenrong Liu, and Brian Logan (2013). "Minimal preference change." Proceedings Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV) (pp. 15-26).
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, and Brian Logan (2013). "Reasoning about Normative Update." Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI 2013).
| bib |
|
|
|
Natasha Alechina, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Jomi Hubner, Brian Logan, Hai Nguyen, and van Zee, Marc (2013). "Multi-Cycle Query Caching in Agent Programming." Proceedings of the Twenty-Seventh AAAI Conferernce on Artificial Intelligence (AAAI 2013).
| bib |
|
|
|
Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik (2013). "Computational Models for Normative Multi-Agent Systems." In Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre, editors, Normative Multi-Agent Systems, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (pp. 71-92).
| bib |
|
|
|
Xiaofan Liu, Natasha Alechina, and Brian Logan (2013). "Expressing User Access Authorization Exceptions in Conventional Role-based Access Control." Proceedings of the 9th International Conference on Information Security Practice and Experience (ISPEC 2013) (pp. 233-247).
| bib |
|
|
|
Natasha Alechina (2013). "Logic and Agent Programming Languages." Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings (pp. 1-10).
Invited talk.
| bib |
|
|
|
Du, Heshan, Alechina, Natasha, Jackson, Mike, and Hart, Glen (2013). "Matching Formal and Informal Geospatial Ontologies." In Vandenbroucke, Danny, Bucher, Benedicte, and Crompvoets, Joep, editors, Geographic Information Science at the Heart of Europe, Springer International Publishing (pp. 155-171).
| bib |
|
|
|
Heshan Du, Natasha Alechina, Michael Jackson, and Glen Hart (2013). "Matching geospatial instances." Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 21, 2013 (pp. 239-240).
| bib |
|
|
|
Heshan Du, Natasha Alechina, Kristin Stock, and Michael Jackson (2013). "The Logic of NEAR and FAR." Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings (pp. 475-494).
| bib |
|
|
|
|
2012 |
Hai Nguyen, Natasha Alechina, and Brian Logan (2012). "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." Proceedings of the 25th International Workshop on Description Logics (DL 2012) (pp. 290-300).
CEUR Workshop Proceedings Vol-846.
| bib |
|
|
|
Julian Zappala, Natasha Alechina, and Brian Logan (2012). "Consensus Games (Extended Abstract)." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1309-1310).
| bib |
|
|
|
Julian Zappala, Natasha Alechina, and Brian Logan (2012). "Consensus Games." Proceedings of the Third Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2012) (pp. 58-72).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2012). "Epistemic Coalition Logic: Completeness and Complexity." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1099-1106).
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, and Brian Logan (2012). "Programming Norm-Aware Agents." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1057-1064).
| bib |
|
|
|
Natasha Alechina, Tristan Behrens, Koen Hindriks, and Brian Logan (2012). "Query Caching in Agent Programming Languages." Proceedings of the Tenth International Workshop on Programming Multi-Agent Systems (ProMAS 2012) (pp. 117-131).
| bib |
|
|
|
Heshan Du, Suchith Anand, Natasha Alechina, Jeremy G. Morley, Glen Hart, Didier G. Leibovici, Mike Jackson, and J. Mark Ware (2012). "Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data." T. GIS, 16(4), 455-476.
| bib |
|
|
|
Heshan Du, Natasha Alechina, Michael Jackson, and Glen Hart (2012). "Matching Geospatial Ontologies." Proceedings of the 7th International Workshop on Ontology Matching, Boston, MA, USA, November 11, 2012.
| bib |
|
|
|
Natasha Alechina, Philippe Balbiani, and Dmitry Shkatov (2012). "Modal logics for reasoning about infinite unions and intersections of binary relations." Journal of Applied Non-Classical Logics, 22(4), 275-294.
| bib |
|
|
|
|
2011 |
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2011). "Logic for coalitions with bounded resources." Journal of Logic and Computation, 21(6), 907-937.
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2011). "Reasoning about plan revision in BDI agent programs." Theoretical Computer Science, 412(44), 6115-6134.
| bib |
|
|
|
Julian Zappala, Natasha Alechina, and Brian Logan (2011). "Consensus Action Games." Proceedings of the IJCAI-2011 Workshop on Social Choice and Artificial Intelligence (pp. 105-110).
(Archived as ILLC Technical Note X-2011-02).
| bib |
|
|
|
Konstantin Vikhorev, Natasha Alechina, and Brian Logan (2011). "Agent programming with priorities and deadlines." Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) (pp. 397-404).
| bib |
|
|
|
Konstantin Vikhorev, Natasha Alechina, Rafael Bordini, and Brian Logan (2011). "An Operational Semantics for AgentSpeak(RT) (Preliminary Report)." Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011), Workshop Notes.
| bib |
|
|
|
Doan Thu Trang, Natasha Alechina, and Brian Logan (2011). "The agent programming language meta-APL." Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011), Workshop Notes.
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2011). "Reasoning about Joint Action and Coalitional Ability in Kn with Intersection." Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings (pp. 139-156).
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2011). "Reasoning about agent deliberation." Autonomous Agents and Multi-Agent Systems, 22(2), 1-26.
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (pp. 69-84).
| bib |
|
|
|
|
2010 |
Natasha Alechina and Brian Logan (2010). "Computationally grounded account of belief and awareness for AI agents." Proceedings of the Third International Workshop on Logics for Resource-Bounded Agents (pp. 1-14).
| bib |
|
|
|
Xiaofan Liu, Natasha Alechina, and Brian Logan (2010). "Syntax and Semantics for Business Rules." Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES'2010).
41--50.
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2010). "Resource-bounded alternating-time temporal logic." Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (pp. 481-488).
| bib |
|
|
|
Natasha Alechina and Brian Logan (2010). "Belief ascription under bounded resources." Synthese, 173(2), 179-197.
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, Fahad Khan, Brian Logan, and Meyer, John-Jules Ch. (2010). "Using Theorem Proving to Verify Properties of Agent Programs." In Dastani, Mehdi, Hindriks, Koen V., and Meyer, John-Jules Ch., editors, Specification and Verification of Multi-agent Systems, Springer (pp. 1-34).
| bib |
|
|
|
|
2009 |
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Expressing Properties of Coalitional Ability under Resource Bounds." Proceedings Second International Workshop on Logic, Rationality and Interaction (LORI-II).
(to appear).
| bib |
|
|
|
Konstantin Vikhorev, Natasha Alechina, and Brian Logan (2009). "The ARTS Real-Time Agent Architecture." Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "A Logic for Coalitions with Bounded Resources." Proceedings of the Twenty First International Joint Conference on Artificial Intelligence (pp. 659-664).
| bib |
|
|
|
Doan Thu Trang, Brian Logan, and Natasha Alechina (2009). "Verifying Dribble Agents." Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes (pp. 162-177).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying time, memory and communication bounds in systems of reasoning agents." Synthese, 169(2), 385-403.
| bib |
|
|
|
Natasha Alechina and Brian Logan (2009). "A logic of situated resource-bounded agents." Journal of Logic, Language and Information, 18(1), 79-95.
| bib |
|
|
|
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan (2009). "Bounded-resource Reasoning as (Strong or Classical) Planning." Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 2008, Revised Selected and Invited Papers (pp. 77-96).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Reasoning about other agents' beliefs under bounded resources." Post-proceedings of KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 (pp. 1-15).
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying Time and Communication Costs of Rule-Based Reasoners." Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers.
| bib |
|
|
|
|
2008 |
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time, memory and communication bounds in systems of reasoning agents." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 736-743).
| bib |
|
|
|
Natasha Alechina, Mark Jago, and Brian Logan (2008). "Preference-based belief revision for rule-based agents." Synthese, 165(1), 159-177.
| bib |
|
|
|
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying Resource Requirements for Distributed Rule-Based Systems." Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML 2008) (pp. 31-38).
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2008). "Reasoning About Agent Deliberation." Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08) (pp. 16-26).
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2008). "Reasoning about agent execution strategies (Short Paper)." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 1455-1458).
| bib |
|
|
|
|
2007 |
Natasha Alechina and Brian Logan (2007). "A logic of situated resource-bounded agents." Proceedings of the Workshop on Logics for Resource-Bounded Agents (pp. 25-39).
| bib |
|
|
|
Natasha Alechina and Brian Logan (2007). "Formal Evaluation of Agent Architectures." Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop (pp. 1-4).
Technical Report WS--07--04.
| bib |
|
|
|
Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2007). "A Logic of Agent Programs." Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007) (pp. 795-800).
| bib |
|
|
|
Natasha Alechina, Mark Jago, and Brian Logan (2007). "Belief Revision for Rule-Based Agents." A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 (pp. 99-113).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2007). "Full and relative awareness: A decidable logic for reasoning about knowledge of unawareness." Theoretical Aspects of Rationality and Knowledge: Proceedings of the 11th conference (TARK 2007) (pp. 6-14).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2007). "The Dynamics of Syntactic Knowledge." Journal of Logic and Computation, 17(1), 83-116.
| bib |
|
|
|
|
2006 |
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hubner, Mark Jago, and Brian Logan (2006). "Belief Revision for AgentSpeak Agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 1288-1290).
| bib |
|
|
|
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 217-219).
| bib |
|
|
|
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006) (pp. 16-30).
| bib |
|
|
|
Natasha Alechina and Dmitry Shkatov (2006). "A general method for proving decidability of intuitionistic modal logics." Journal of Applied Logic, 4(3), 219-230.
| bib |
|
|
|
Natasha Alechina, Rafael Bordini, Jomi Hubner, Mark Jago, and Brian Logan (2006). "Automating Belief Revision for AgentSpeak." Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2006). "Knowing minimum/maximum $n$ formulae." Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006) (pp. 317-321).
| bib |
|
|
|
Natasha Alechina and Dmitry Shkatov (2006). "Logics with an existential modality." Advances in Modal Logic (pp. 31 - 48).
| bib |
|
|
|
Natasha Alechina, Mark Jago, and Brian Logan (2006). "Modal logics for communicating rule-based agents." Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (pp. 322-326).
| bib |
|
|
|
Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini (2006). "Model-checking memory requirements of resource-bounded reasoners." Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06) (pp. 213-218).
| bib |
|
|
|
Natasha Alechina, Mark Jago, and Brian Logan (2006). "Resource-Bounded Belief Revision and Contraction." Declarative Agent Languages and Technologies III, Third InternationalWorkshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers (pp. 141-154).
| bib |
|
|
|
Thomas Agotnes and Natasha Alechina (2006). "Semantics for Dynamic Syntactic Epistemic Logics." Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06) (pp. 411-419).
| bib |
|
|
|
|
2005 |
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano (2005). "Verifying space and time requirements for resource-bounded agents." Technical report. ITC-irst, T05-10-03.
| bib |
|
|
|
Natasha Alechina and Brian Logan (2005). "Verifying bounds on deliberation time in multi-agent systems." Proceedings of the Third European Workshop on Multiagent Systemss (EUMAS'05) (pp. 25-34).
| bib |
|
|
|
Natasha Alechina, Mark Jago, and Brian Logan (2005). "Resource-bounded belief revision and contraction." Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT 2005) (pp. 118-131).
| bib |
|
|
|
|
2004 |
Natasha Alechina, Brian Logan, and Mark Whitsey (2004). "Modelling Communicating Agents in Timed Reasoning Logics." Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004) (pp. 95-107).
| bib |
|
|
|
Natasha Alechina, Brian Logan, and Mark Whitsey (2004). "A Complete and Decidable Logic for Resource-Bounded Agents." Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (pp. 606-613).
| bib |
|
|
|
|
2003 |
N. Alechina, M. de Rijke, and S. Demri (2003). "A modal perspective on path constraints." Journal of Logic and Computation, 13(6), 939-956.
| bib |
|
|
|
G. Mackenzie and N. Alechina (2003). "Classifying sketches of animals using an agent-based system." Computer Analysis of Images and Patterns, Proceedings of the 10th International Conference CAIP 2003 (pp. 521-529).
| bib |
|
|
|
|
2002 |
Natasha Alechina and Brian Logan (2002). "Grounding Knowledge and Action Selection in Agent-Based Systems." Working Notes of the Fifth UK Workshop on Multi-Agent Systems (UKMAS 2002).
| bib |
|
|
|
Natasha Alechina and Brian Logan (2002). "Grounding Knowledge and Action Selection in Agent-Based Systems." Proceedings of the Workshop on Logics for Agent-Based Systems (LABS) at the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002) (pp. 61-73).
| bib |
|
|
|
Natasha Alechina and Brian Logan (2002). "Ascribing beliefs to resource bounded agents." Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002) (pp. 881-888).
| bib |
|
|
|
|
2001 |
Natasha Alechina and Brian Logan (2001). "State space search with prioritised soft constraints." Applied Intelligence, 14(3), 263-272.
| bib |
|
|
|
N. Alechina, M. Mendler, V. de Paiva, and E. Ritter (2001). "Categorical and Kripke semantics for constructive modal logics." Proceedings CSL'01 (pp. 292-307).
| bib |
|
|
|
Natasha Alechina and Brian Logan (2001). "Logical omniscience and the cost of deliberation." Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01) (pp. 100-109).
| bib |
|
|
|
|
2000 |
N. Alechina (2000). "Functional dependencies between variables." Studia Logica, 66, 273-283.
| bib |
|
|
|
N. Alechina and N. Immerman (2000). "Reachability logic: An efficient fragment of transitive closure logic." Logic Journal of IGPL, 8(3), 325-337.
| bib |
|
|
|
|
1998 |
Natasha Alechina and Brian Logan (1998). "State space search with prioritised soft constraints." Proceedings of the ECAI-98 Workshop `Decision theory meets artificial intelligence: qualitative and quantitative approaches' (pp. 33-42).
| bib |
|
|
|
Brian Logan and Natasha Alechina (1998). "A* with bounded costs." Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI-98 (pp. 444-449).
| bib |
|
|
|
|
1997 |
J. Benthem,~van and N. Alechina (1997). "Modal quantification over structured domains." In M. de Rijke, editors, Advances in Intensional Logic, Kluwer, Dordrecht (pp. 1 - 27).
| bib |
|
|
|
Natasha Alechina and Yuri Gurevich (1997). "Syntax vs. semantics on finite structures." In Jan Mycielski, Grzegorz Rozenberg, and Arto Salomaa, editors, Structures in Logic and Computer Science. A Selection of Essays in Honor of A. Ehrenfeucht, Springer lecture Notes in Computer Science 1261 (pp. 14 - 33).
| bib |
|
|
|
|
1996 |
N. Alechina (1996). " Interpolation for a sequent calculus of generalized quantifiers." Theorem Proving with Analytic Tableaux and Related methods. Proceedings of the 5th International Workshop TABLEAUX'96 (pp. 36 - 47).
| bib |
|
|
|
N. Alechina and M. van Lambalgen (1996). "Generalized quantification as substructural logic." Journal of Symbolic Logic, 61(3), 1006 - 1044.
| bib |
|
|
|
N. Alechina (1996). "Quantification over interdependent variables." Proceedings of the 10th Amsterdam Colloquium (pp. 1 - 19).
| bib |
|
|
|
|
1995 |
N. Alechina and M. van Lambalgen (1995). "Correspondence and completeness for generalized quantifiers." Bulletin of the Interest Group in Pure and Applied Logic, 3, 167 - 190.
| bib |
|
|
|
N. Alechina (1995). "For All Typical." Symbolic and Quantitative Approach to Reasoning and Uncertainty. Proceedings ECSQARU'95 (pp. 1 - 8).
| bib |
|
|
|
N. Alechina (1995). "Logic with probabilistic operators." Proceedings ACCOLADE'94 (pp. 121 - 138).
| bib |
|
|
|
N. Alechina (1995). Modal Quantifiers. Doctoral dissertation, ILLC, University of Amsterdam.
| bib |
|
|
|
N. Alechina (1995). "On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic." Journal of Logic, Language and Information, 4, 177 - 189.
| bib |
|
|
|
|
1994 |
P. Suppes and N. Alechina (1994). "The definability of the qualitative independence of events in terms of extended indicator functions." Journal of Mathematical Psychology, 38, 366 - 376.
| bib |
|
|
|