Lines Matching refs:url
22 \usepackage{url}
341 World Wide Web Consortium (W3C, \url{http://www.w3c.org}); see \cite{w3c:owl2-overview}. It is
357 \cite{WeidenbachEtAl02}, see \url{http://www.spass-prover.org};
358 \item Darwin \cite{Baumgartner:etal:Darwin:IJAIT:2005}, see \url{http://combination.cs.uiowa.edu/Darwin};
359 \item Vampire \cite{RiazanovV02} see \url{http://www.vprover.org};
360 \item Eprover \cite{Schulz:AICOM-2002}, see \url{http://www.eprover.org};
361 \item E-KRHyper \cite{DBLP:conf/cade/PelzerW07}, see \url{http://www.uni-koblenz.de/~bpelzer/ekrhyper}, and
369 see \url{http://www.tptp.org}.
470 \url{http://www.dfki.de/sks/hets}
516 Hets-lib & specification library & \url{http://www.cofi.info/Libraries}\\\hline
517 uDraw(Graph) & graph drawing & \url{http://www.informatik.uni-bremen.de/uDrawGraph/en/}\\\hline
519 \SPASS & theorem prover & \url{http://spass.mpi-sb.mpg.de/}\\\hline
520 Darwin & theorem prover & should be installed manually from \url{http://combination.cs.uiowa.edu/Darwin/}\\\hline
521 \Isabelle & theorem prover & \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}\\\hline
549 zChaff & SAT solver & \url{http://www.princeton.edu/~chaff/zchaff.html} \\\hline
550 minisat & SAT solver & \url{http://minisat.se/} \\\hline
551 Pellet & OWL reasoner & \url{http://clarkparsia.com/pellet/} \\\hline
553 & \url{http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/} \\\hline
555 & \url{http://www.reduce-algebra.com/} \\\hline
556 Maude & rewrite system & \url{http://maude.cs.uiuc.edu/} \\\hline
558 Twelf & & \url{http://twelf.plparty.org/} \\\hline
781 \url{http://www.informatik.uni-bremen.de/uDrawGraph/en/service/uDG31\_doc/}.}.
1037 Existing ontologies for ambient assisted living (e.g.\ the OpenAAL\footnote{\url{http://openaal.org}} OWL ontology) cover the \emph{core} of these concepts; they provide at least classes (or generic superclasses) corresponding to the concepts highlighted in \textbf{bold}. However, that does not cover the scenario completely. In particular, there are relevant concepts (here: space and time, \underline{underlined}), which are not covered at the required level of complexity. OpenAAL says that appointments have a date and that rooms can be connected to each other, but not what exactly that means. Foundational ontologies and spatial calculi, often formalized in first-order logic, cover space and time at the level of complexity required by a central controller of an apartment and by an autonomously navigating wheelchair.
1420 \cite{DBLP:conf/tacas/Aspinall00,url:ProofGeneral} in a separate Emacs
1421 \cite{url:Emacs,url:XEmacs}.
1557 The \texttt{tptp} format (\url{http://www.tptp.org}) is a standard
1603 \url{http://pollux.informatik.uni-bremen.de:8000/}. It allows to browse the
1609 \url{http://trac.informatik.uni-bremen.de:8080/hets/wiki/RESTfulInterface}.