Concepedia

Camilla Schwind

CS

16

Publications

442

Citations

12

H-Index

1975

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

University of Turin

Laboratoire d’Informatique Fondamentale de Marseille

Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Centre d’Immunologie de Marseille-Luminy

Camilla Schwind is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceFormal MethodsFormal VerificationLanguageLinguisticsVerificationNatural Language ProcessingSyntax

Publications per year

1975–2009

16

Publications

16

Specifying and verifying interaction protocols in a temporal action logic

Laura Giordano, Alberto Martelli, Camilla Schwind · Journal of Applied Logic · 2007 · 59 citations

Formal Specification, Engineering, Formal Modeling +11

A sequent calculus and a theorem prover for standard conditional logics

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind · ACM Transactions on Computational Logic · 2007 · 58 citations

Theorem Prover, Engineering, Automated Reasoning +15

Reasoning under incomplete information in Artificial Intelligence: A comparison of formalisms using a single example

Philippe Besnard, Marie-Odile Cordier, Didier Dubois et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1990 · 44 citations

Tableau-based characterization and theorem proving for default logic

Vincent Risch, Camilla Schwind · Journal of Automated Reasoning · 1994 · 41 citations

Applied Logic, Engineering, Automated Reasoning +7

An intelligent language tutoring system

Camilla Schwind · International Journal of Man-Machine Studies · 1990 · 33 citations

Natural Language Processing, Intelligent Tutoring Systems, Computational Linguistics +8

Rows per page

1–5 of 16