Sign in

The S-D logic phenomenon-conceptualization and systematization by reviewing the literature of a decade (2004-2013).

Natalia KryvinskaRomana OlexovaPaul DohmenChristine Strauss
Published in: J. Serv. Sci. Res. (2013)
Keyphrases
  • modal logic
  • logic programming
  • real time
  • automated reasoning
  • classical logic
  • predicate logic
  • neural network
  • domain ontology
  • knowledge structures
  • formal theory
  • abductive reasoning
  • proof theory