The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Camilla Schwind: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Camilla Schwind
    An Intelligent Language Tutoring System. [Citation Graph (1, 0)][DBLP]
    International Journal of Man-Machine Studies, 1990, v:33, n:5, pp:557-579 [Journal]
  2. Laura Giordano, Alberto Martelli, Camilla Schwind
    Reasoning about Actions in a Multiagent Domain. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2001, pp:237-248 [Conf]
  3. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:262-274 [Conf]
  4. Camilla Schwind
    A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:528-542 [Conf]
  5. Camilla Schwind
    Sensitive parsing: error analysis and explanation in an intelligent language tutoring system. [Citation Graph (0, 0)][DBLP]
    COLING, 1988, pp:608-613 [Conf]
  6. Camilla Schwind
    A Formalism for the Description of Question Answering Systems. [Citation Graph (0, 0)][DBLP]
    Natural Language Communication with Computers, 1978, pp:1-48 [Conf]
  7. Frank M. Brown, Camilla Schwind
    Analysing and Representing Natural Language in Logic. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:66-70 [Conf]
  8. Laura Giordano, Alberto Martelli, Camilla Schwind
    Dealing with Concurrent Actions in Modal Action Logics. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:537-541 [Conf]
  9. Emmanuel Lafon, Camilla Schwind
    A Theorem Prover for Action Performance. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:541-546 [Conf]
  10. Camilla Schwind
    Representing Actions by State Logic. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:304-308 [Conf]
  11. Camilla Schwind, Vincent Risch
    A Tableau-Based Characterisation for Default Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:310-317 [Conf]
  12. Leopoldo E. Bertossi, Camilla Schwind
    Analytic Tableaux and Database Repairs: Foundations. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2002, pp:32-48 [Conf]
  13. Nicola Olivetti, Camilla Schwind
    A Calculus and Complexity Bound for Minimal Conditional Logic. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:384-404 [Conf]
  14. Camilla Schwind
    Generating Hierarchical Semantic Networks Froma Natural Language Discourse. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:429-435 [Conf]
  15. Camilla Schwind
    A State Logic for the Representation of Natural Language Based Intelligent Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:228- [Conf]
  16. Laura Giordano, Alberto Martelli, Camilla Schwind
    Verifying Communicating Agents by Model Checking in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:57-69 [Conf]
  17. Laura Giordano, Camilla Schwind
    Towards a Conditional Logic of Actions and Causation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:382-393 [Conf]
  18. Camilla Schwind
    Natural Language Access to PROLOG Database Systems. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:237-246 [Conf]
  19. Camilla Schwind
    Semantikkonzepte in der Künstlichen Intelligenz. [Citation Graph (0, 0)][DBLP]
    KIFS, 1984, pp:94-158 [Conf]
  20. Camilla Schwind
    Temporal Logic in Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    GWAI, 1984, pp:238-264 [Conf]
  21. Camilla Schwind
    A Theory for Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:285-288 [Conf]
  22. Camilla Schwind
    Logic Based Natural Language Processing. [Citation Graph (0, 0)][DBLP]
    Natural Language Understanding and Natural Language Understanding Workshop, 1984, pp:207-219 [Conf]
  23. Laura Giordano, Camilla Schwind
    Towards a conditional logic of actions and causation. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:333-342 [Conf]
  24. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
    Tableau Calculi for Preference-Based Conditional Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:81-101 [Conf]
  25. Vincent Risch, Camilla Schwind
    Tableaux-Based Theorem Proving and Non-Standard Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:76-78 [Conf]
  26. Laura Giordano, Camilla Schwind
    Conditional logic of actions and causation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:157, n:1-2, pp:239-279 [Journal]
  27. Leopoldo E. Bertossi, Camilla Schwind
    Database Repairs and Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:40, n:1-2, pp:5-35 [Journal]
  28. Camilla Schwind
    Feature grammars for semantic analysis. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1990, v:6, n:, pp:172-178 [Journal]
  29. Leopoldo E. Bertossi, Camilla Schwind
    Database Repairs and Analytic Tableaux [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  30. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
    A Sequent Calculus and a Theorem Prover for Standard Conditional Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  31. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specialization of Interaction Protocols in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:3-22 [Journal]
  32. Camilla Schwind
    Causality in Action Theories. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1999, v:3, n:A, pp:27-50 [Journal]
  33. Camilla Schwind, Pierre Siegel
    A Modal Logic for Hypothesis Theory. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:1/2, pp:89-101 [Journal]
  34. Laura Giordano, Alberto Martelli, Camilla Schwind
    Reasoning about Actions in Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  35. Stephan Braun, Camilla Schwind
    Automatic, semantics-based indexing of natural language texts for information retrieval systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1976, v:12, n:2, pp:147-153 [Journal]
  36. Camilla Schwind
    Semantic trees for natural language representation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1983, v:19, n:4, pp:223-235 [Journal]
  37. Pierre Siegel, Camilla Schwind
    Modal logic based theory for non-monotonic reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal]
  38. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specifying and verifying interaction protocols in a temporal action logic. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:214-234 [Journal]
  39. Vincent Risch, Camilla Schwind
    Tableaux-Based Characterization and Theorem Proving for default Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:2, pp:223-242 [Journal]
  40. Laura Giordano, Alberto Martelli, Camilla Schwind
    Ramification and causality in a modal action logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:5, pp:625-662 [Journal]
  41. Philippe Chatalic, Christine Froidevaux, Camilla Schwind
    Graded Hypothesis Theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:171, n:1-2, pp:247-280 [Journal]
  42. Camilla Schwind
    A first-order Temporal Logic for Actions [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  43. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
    A sequent calculus and a theorem prover for standard conditional logics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:4, pp:- [Journal]

  44. Tableau Calculi for CSL\mathcal{CSL} over minspaces. [Citation Graph (, )][DBLP]


  45. Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. [Citation Graph (, )][DBLP]


  46. Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002