Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Controlled Natural Language: Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings
1, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
1, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Controlled Natural Language: Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers
1, 2010
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Attempto Controlled English -Not Just Another Logic Specification Language
Lecture notes in computer science, 1999, Vol.1559, p.1-20
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines
Lecture notes in computer science, 2005, p.213-250
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings
1, 1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Constraint Logic Programming: An informal introduction
Logic Programming in Action, 2005, p.3-35
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Knowledge Representation and Reasoning in (Controlled) Natural Language
Conceptual Structures: Common Semantics for Sharing Knowledge, p.51-51
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Factory scheduling using finite domains
Logic Programming in Action, 2005, p.45-53
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Reasoning in Attempto Controlled English
Lecture notes in computer science, 2003, p.174-188
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Opium — An advanced debugging system
Logic Programming in Action, 2005, p.303-312
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Knowledge based PPS applications in PROTOS-L
Logic Programming in Action, 2005, p.80-90
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The art of computer un-programming: Reverse engineering in Prolog
Logic Programming in Action, 2005, p.290-302
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Expert systems in mining
Logic Programming in Action, 2005, p.118-126
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Natural and formal language processing
Logic Programming in Action, 2005, p.127-175
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The SECReTS banking expert system from phase 1 to phase 2
Logic Programming in Action, 2005, p.91-99
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
PUNDIT — Natural language interfaces
Logic Programming in Action, 2005, p.176-185
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A knowledge-based approach to strategic planning
Logic Programming in Action, 2005, p.109-117
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theory and practice in logic programming
Logic Programming in Action, 2005, p.1-2
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatic theorem proving within the portable AI Lab
Logic Programming in Action, 2005, p.313-324
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A set of tools for VHDL design
Logic Programming in Action, 2005, p.242-251
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Esteam-316 dialogue manager
Logic Programming in Action, 2005, p.186-202
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Scheduling and optimisation in the Automobile Industry
Logic Programming in Action, 2005, p.36-44
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software formal specification by logic programming: The example of standard Prolog
Logic Programming in Action, 2005, p.278-289
2005
Volltextzugriff (PDF)
1 – 25 von 1.633
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
2 weitere anzeigen...
Weniger anzeigen...
Sprache
4 weitere anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt