Natasha Alechina's Publications

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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
Rustam Galimullin and Natasha Alechina (2018). "Coalition and Group Announcement Logic." CoRR abs/1810.02769. bib pdf    
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 pdf    
Natasha Alechina, Nils Bulling, Stephane Demri, and Brian Logan (2018). "On the complexity of resource-bounded logics." Theoretical Computer Science, 750, 69-100. bib pdf    
Natasha Alechina and Brian Logan (2018). "Resource Logics with a Diminishing Resource." bib pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2017). "Fair decomposition of group obligations." Journal of Logic and Computation. bib pdf    
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 pdf    
 
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 pdf    
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 pdf    
Heshan Du and Natasha Alechina (2016). "Qualitative Spatial Logics for Buffered Geometries." J. Artif. Intell. Res. (JAIR), 56, 693-745. bib pdf    
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 pdf    
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 pdf    
 
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 pdf    
Natasha Alechina, Fenrong Liu, and Brian Logan (2018). "Efficient minimal preference change." Journal of Logic and Computation, 28(8), 1715-1733. To appear. bib pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Thomas Agotnes and Natasha Alechina (2015). "Coalition Logic with Individual, Distributed and Common Knowledge." Journal of Logic and Computation. To appear. bib pdf    
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Thomas Agotnes and Natasha Alechina (2014). "Formal Models of Awareness." Journal of Logic, Language and Information, 23(2), 105-106. bib pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Natasha Alechina and Brian Logan (2010). "Belief ascription under bounded resources." Synthese, 173(2), 179-197. bib pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Natasha Alechina and Brian Logan (2009). "A logic of situated resource-bounded agents." Journal of Logic, Language and Information, 18(1), 79-95. bib pdf    
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
Natasha Alechina, Mark Jago, and Brian Logan (2008). "Preference-based belief revision for rule-based agents." Synthese, 165(1), 159-177. bib pdf    
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Thomas Agotnes and Natasha Alechina (2007). "The Dynamics of Syntactic Knowledge." Journal of Logic and Computation, 17(1), 83-116. bib pdf    
 
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
Natasha Alechina and Dmitry Shkatov (2006). "Logics with an existential modality." Advances in Modal Logic (pp. 31 - 48). bib pdf    
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 pdf    
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
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 pdf    
 
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 pdf    
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   ps  
 
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 pdf    
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 pdf    
 
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 pdf    
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 pdf    
 
2001
Natasha Alechina and Brian Logan (2001). "State space search with prioritised soft constraints." Applied Intelligence, 14(3), 263-272. bib pdf    
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 pdf    
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 pdf    
 
2000
N. Alechina (2000). "Functional dependencies between variables." Studia Logica, 66, 273-283. bib   ps  
N. Alechina and N. Immerman (2000). "Reachability logic: An efficient fragment of transitive closure logic." Logic Journal of IGPL, 8(3), 325-337. bib pdf    
 
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     ps.gz
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     ps.gz
 
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     ps.gz
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     ps.gz
 
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 pdf ps  
N. Alechina and M. van Lambalgen (1996). "Generalized quantification as substructural logic." Journal of Symbolic Logic, 61(3), 1006 - 1044. bib     ps.gz
N. Alechina (1996). "Quantification over interdependent variables." Proceedings of the 10th Amsterdam Colloquium (pp. 1 - 19). bib     ps.gz
 
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     ps.gz
N. Alechina (1995). "For All Typical." Symbolic and Quantitative Approach to Reasoning and Uncertainty. Proceedings ECSQARU'95 (pp. 1 - 8). bib     ps.gz
N. Alechina (1995). "Logic with probabilistic operators." Proceedings ACCOLADE'94 (pp. 121 - 138). bib     ps.gz
N. Alechina (1995). Modal Quantifiers. Doctoral dissertation, ILLC, University of Amsterdam. bib pdf    
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     ps.gz
 
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     ps.gz