Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Dewayne E. Perry |
Theories, theories everywhere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSE@ICSE ![In: Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering, TOSE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, pp. 8-14, 2016, ACM, 978-1-4503-4174-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Pedro Ribeiro 0002, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Stepwise Approach to Linking Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, pp. 134-154, 2016, Springer, 978-3-319-52227-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jifeng He 0001 |
A New Roadmap for Linking Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, pp. 26-43, 2016, Springer, 978-3-319-52227-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Sebastiani, Patrick Trentin |
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016., pp. 85-95, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Rolf Hennicker, Alexander Knapp |
Moving from interface theories to assembly theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 52(2-3), pp. 235-268, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Toshiyasu Arai |
Intuitionistic fixed point theories over set theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 54(5-6), pp. 531-553, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Ranald Clouston |
Nominal Lawvere Theories: A category theoretic account of equational theories with names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 80(6), pp. 1067-1086, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Kojiro Higuchi, Yoshihiro Horihata |
Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 53(7-8), pp. 835-853, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Pierluigi Nuzzo 0002, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Are interface theories equivalent to contract theories? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 104-113, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Claire Dross |
Generic decision procedures for axiomatic first-order theories. (Procédures de décision génériques pour des théories axiomatiques du premier ordre). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
19 | Roel J. Wieringa |
Towards middle-range usable design theories for software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTSE ![In: Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, GTSE 2014, Hyderabad, India, June 2, 2014, pp. 1-4, 2014, ACM, 978-1-4503-2850-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Paul Ralph |
Evaluating process theories in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTSE ![In: Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, GTSE 2014, Hyderabad, India, June 2, 2014, pp. 5-8, 2014, ACM, 978-1-4503-2850-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Simon Foster 0001, Jim Woodcock 0001 |
Unifying Theories of Programming in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC Training School on Software Engineering ![In: Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures, pp. 109-155, 2013, Springer, 978-3-642-39720-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jim Woodcock 0001, Victor Bandur |
Unifying Theories of Undefinedness in UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers, pp. 1-22, 2012, Springer, 978-3-642-35704-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jeremy Gibbons |
Unifying Theories of Programming with Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers, pp. 23-67, 2012, Springer, 978-3-642-35704-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko |
Program Verification as Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 3-11, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Min Zhang 0002, Kazuhiro Ogata 0001, Masaki Nakamura 0001 |
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 94-D(5), pp. 976-988, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Gerhard Jäger, Dieter Probst |
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 162(8), pp. 647-660, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Shtulman, Joshua Valcarcel |
Ghosts of Theories Past: The Ever-Present Influence of Long-Discarded Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011, 2011, cognitivesciencesociety.org, 978-0-9768318-7-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Yang Zhao |
Theories and Applications of LBP: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence - 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers, pp. 112-120, 2011, Springer, 978-3-642-25943-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Min Zhang 0002, Kazuhiro Ogata 0001, Masaki Nakamura 0001 |
Specification Translation of State Machines from Equational Theories into Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, pp. 678-693, 2010, Springer, 978-3-642-16900-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Yu Sun 0005, Tianwei Xu, Zhiping Li |
Translating default theories to normal default theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), Chengdu, China, June 23-25, 2010, pp. 260-264, 2010, IEEE, 978-1-4244-7386-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Elie Soubiran |
Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
19 | Michael J. Banks, Jeremy L. Jacob |
Unifying Theories of Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings, pp. 120-136, 2010, Springer, 978-3-642-16689-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Unifying Theories in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings, pp. 188-206, 2010, Springer, 978-3-642-16689-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009, pp. 407-427, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Paulette Kerr |
Espoused theories and theories-in-use of information literacy: A model for reflection and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Thriving on Diversity: Information Opportunities in a Pluralistic World - Proceedings of the 72nd ASIS&T Annual Meeting, ASIST 2009, Vancouver, BC, Canada, November 6-11, 2009, pp. 1-7, 2009, Wiley. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Michael Anthony Smith, Jeremy Gibbons |
Unifying Theories of Locations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers, pp. 161-180, 2008, Springer, 978-3-642-14520-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Alistair A. McEwan, Jim Woodcock 0001 |
Unifying Theories of Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers, pp. 122-141, 2008, Springer, 978-3-642-14520-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers, pp. 42-61, 2008, Springer, 978-3-642-14520-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | MarySue Cicciarelli |
Behavorial, Cognitive, and Humanistic Theories: Which Theories Do Online Instructors Utilize? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Commun. Technol. Educ. ![In: Int. J. Inf. Commun. Technol. Educ. 3(4), pp. 1-12, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer |
CC(X): Semantic Combination of Congruence Closure with Solvable Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@CAV ![In: Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007, pp. 51-69, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Joohyung Lee 0002, Ravi Palla |
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CENT ![In: Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | Josef Urban |
MaLARea: a Metasystem for Automated Reasoning in Large Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESARLT ![In: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | Vincent Bernat |
Théories de l'intrus pour la vérification des protocoles cryptographiques. (Intruder theories for the verification of cryptographic protocols). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
19 | Pascal Lafourcade 0001 |
Vérification de protocoles cryptographiques en présence de théories équationnelles. (Verification of cryptographic protocols in presence of equationnal theories). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
19 | Ana Cavalcanti 0001, Will Harwood, Jim Woodcock 0001 |
Pointers and Records in the Unifying Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 200-216, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semantics, refinement, object models, relations |
19 | Mnacho Echenim |
Déduction et Unification dans les Théories Permutatives. (Deduction and Unification in Permutative Theories). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
19 | Joseph R. Kiniry, Patrice Chalin, Clément Hurlin |
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 153-160, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Bernhard K. Aichernig, Jifeng He 0001, Zhiming Liu 0001, Mike Reed |
Integrating Theories and Techniques for Program Modelling, Design and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 291-300, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Tony Hoare, Jayadev Misra |
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 1-18, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Judith Felson Duchan |
Janet W. Astington, Paul L. Harris and David R. Olson, eds., Developing Theories of Mind; Henry M. Wellman, The Child's Theory of Mind; Douglas Frye and Chris Moore, eds., Children's Theories of Mind: Mental States and Social Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 10(2), pp. 277-288, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Nigel J. T. Thomas |
Are theories of imagery theories of imagination? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 23(2), pp. 207-245, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Grit Denker |
From rewrite theories to temporal logic theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: 1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998, pp. 105-126, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | George Weaver, David Lippel |
Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 60(2), pp. 275-297, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Narjes Ben Rajeb |
Preuves par induction implicite: cas des théories associatives-commutatives et observationnelles. (Proofs by implicit induction: case of associative-commutative and observational theories). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
19 | Ho Ngoc Duc |
On the Epistemic Foundations of Agent Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings, pp. 275-279, 1997, Springer, 3-540-64162-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Robert W. Batterman |
Theories between theories: Asymptotic limiting intertheoretic relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 103(2), pp. 171-201, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | M. Randall Holmes |
The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 60(1), pp. 178-190, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Wooldridge, Jörg P. Müller, Milind Tambe |
Agent Theories, Architectures, and Languages: A Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings, pp. 408-431, 1995, Springer, 3-540-60805-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Cheng-Chia Chen, I-Peng Lin |
The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings, pp. 69-80, 1994, Springer, 3-540-58140-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Vigneron |
Déduction automatique avec contraintes symboliques dans les théories équationnelles. (Automated deduction with symbolic constraints in equational theories). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
19 | Andrew U. Frank, Irene Campari, Ubaldo Formentini (eds.) |
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![Springer, 3-540-55966-3 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Christian Freksa |
Using Orientation Information for Qualitative Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 162-178, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Albert Z. Guttenberg |
Toward a Behavioral Theory of Regionalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 110-121, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | David M. Mark |
Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 305-317, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Leila De Floriani, Enrico Puppo |
A Hierarchical Triangle-Based Model for Terrain Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 236-251, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Ombretta Paladino |
Treatment of Qualitative Geographic Information in Monitoring Environmental Pollution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 418-431, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Bianca Falcidieno, Caterina Pienovi, Michela Spagnuolo |
Descriptive Modeling and Prescriptive Modeling in Spatial Data Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 122-135, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Dimitris Papadias, Timos K. Sellis |
Spatial Reasoning Using Symbolic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 153-161, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | A. Barbanente, D. Borri, Floriana Esposito, Pietro Leo, G. Maciocco, F. Selicato |
Automatically Acquiring Knowledge by Digital Maps in Artificial Intelligence Planning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 379-401, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Daniel R. Montello |
The Geometry of Environmental Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 136-152, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Helen Couclelis |
People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 65-77, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Robbin R. Hough |
Time and Space: An Economic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 78-96, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Richard T. Snodgrass |
Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 22-64, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Thanasis Hadzilacos, Nectaria Tryfona |
A Model for Expressing topological Integrity Constraints in Geographic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 252-268, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Reginald G. Golledge |
Do People Understand Spatial Concepts: The Case of First-Order Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 1-21, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Sabine Timpf, Gary S. Volta, David W. Pollock, Max J. Egenhofer |
A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 348-367, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Christopher M. Gold |
The Meaning of "Neighbour". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 220-235, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Keiichi Takeuchi |
The Changing Language of and Persisting Patterns in the Urban Design of Edo/Tokyo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 97-109, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Peter A. Whigham, Robert I. McKay, J. R. Davis |
Machine Induction of Geospatial Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 402-417, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Kazuo Hiraki, Yuichiro Anzai |
Towards Acquiring Spatio-Temporal Knowledge from Sensor Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 368-378, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Max J. Egenhofer, Khaled K. Al-Taha |
Reasoning about Gradual Changes of Topological Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 196-219, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | A. Stewart Fotheringham, Andrew Curtis |
Encoding Spatial Information: The Evidence for Hierarchical Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 269-287, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Shaun Futch, David N. Chin, Matthew McGranaghan, Jinn-Guey Lay |
Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 318-327, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Scott M. Freundschuh |
Is there a Relationship Between Spatial Cognition and Environmental Patterns? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 289-304, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Erland Jungert |
The Observer's Point of View: An Extension of Symbolic Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 179-195, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Edward P. Stabler Jr. |
Representing Knowledge with Theories about Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 9(1), pp. 105-138, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Pascal Drabrik |
Validation sémantique dans les théories structurées : application à un langage de programmation générique. (Semantic validation for structured theories: application to a generic programming language). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
19 | Alain Touraille |
Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 52(4), pp. 1027-1043, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Leivant |
Partial-Correctness Theories as First-Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings, pp. 190-195, 1985, Springer, 3-540-15648-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Albert Visser |
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 13(1), pp. 97-113, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Hugo Volger |
Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 23, pp. 333-337, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
19 | Anand Pillay |
Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 45(2), pp. 302-310, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch |
Combinable Extensions of Abelian Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 51-66, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
On relational interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 67-76, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement, compositionality |
15 | Robert Brummayer, Armin Biere |
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 174-177, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Castagna, Luca Padovani |
Contracts for Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 211-228, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Andrey Bovykin |
Resplendent models and S11{\Sigma_1^1} -definability with an oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(6), pp. 607-623, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) Primary 03B10, 03C50, 03C62, Secondary 03C07, 03C30, 03C35, 03C52, 03C64, 03C57 |
15 | Camilo Rocha, José Meseguer 0001 |
Theorem Proving Modulo Based on Boolean Equational Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 337-351, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Wen-Chih Chang, Yan-Da Chiu, Mao-Fan Li |
Learning Kruskal's Algorithm, Prim's Algorithm and Dijkstra's Algorithm by Board Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 275-284, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Devon K. Barrow, Antonija Mitrovic, Stellan Ohlsson, Michael Grimley |
Assessing the Impact of Positive Feedback in Constraint-Based Tutors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 250-259, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sumit Gulwani, Madan Musuvathi |
Cover Algorithms and Their Combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 193-207, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Michael Fink 0001 |
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 99-113, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
uniform equivalence, knowledge representation, program optimization, answer-set programming |
15 | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
On Local Reasoning in Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 265-281, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Lin Xu, Jianhui Wang, Xiaoke Fang, Yan Zheng, Dakuo He |
Research on Experimental Teaching Patterns Based on E-learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 1052-1055, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Huandong Chen, Chunhui Song, Shulei Wu, Haihua Xing, ZhanJi Gui, Xianchuan Yu, Ye Luo |
Research and Design of Web-Based E-learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 438-441, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ana Luísa Duboc, Aline Paes, Gerson Zaverucha |
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings, pp. 91-106, 2008, Springer, 978-3-540-85927-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Norman Vargas, Leonel Plazaola, Mathias Ekstedt |
A Consolidated Strategic Business and IT Alignment Representation: A Framework Aggregated From Literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 397, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Antonis Bikakis, Grigoris Antoniou |
Local and Distributed Defeasible Reasoning in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 135-149, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|